Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Convert JavaScript files to TypeScript #16

Merged
merged 2 commits into from
Dec 3, 2024
Merged

Conversation

neubig
Copy link
Contributor

@neubig neubig commented Dec 3, 2024

This PR converts all JavaScript files to TypeScript to ensure type safety across the codebase.

Changes made:

  • Created TypeScript type definitions in /scripts/src/types/index.ts
  • Converted github-api.js to TypeScript with proper type annotations
  • Converted cache-github-data.js to TypeScript with proper type annotations
  • Converted configuration files to TypeScript:
    • tailwind.config.js -> tailwind.config.ts
    • postcss.config.js -> postcss.config.ts
    • eslint.config.js -> eslint.config.ts
  • Removed all original JavaScript files

All tests are passing after the conversion.

Copy link

vercel bot commented Dec 3, 2024

@openhands-agent is attempting to deploy a commit to the all-hands-ai team on Vercel, but is not a member of this team. To resolve this issue, you can:

  • Make your repository public. Collaboration is free for open source and public repositories.
  • Add @openhands-agent as a member. A Pro subscription is required to access Vercel's collaborative features.
    • If you're the owner of the team, click here and add @openhands-agent as a member.
    • If you're the user who initiated this build request, click here to request access.
    • If you're already a member of the all-hands-ai team, make sure that your Vercel account is connected to your GitHub account.

To read more about collaboration on Vercel, click here.

@neubig neubig merged commit 18f4ffe into main Dec 3, 2024
3 of 4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants