We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
In #180 (comment), @mattpen said:
FYI, running the script also create an unversioned file in my local working copy: phet-info/github-labels/.repos.old. That file should get removed if update-repos-list.js finishes successfully. phet-info/github-labels/update-repos-list.js Lines 47 to 48 in 91574b2 // Clean up await fs.promises.unlink( '.repos.old' );
FYI, running the script also create an unversioned file in my local working copy: phet-info/github-labels/.repos.old.
That file should get removed if update-repos-list.js finishes successfully.
phet-info/github-labels/update-repos-list.js
Lines 47 to 48 in 91574b2
In general, scripts/programs should clean up files regardless of whether they encounter errors.
The text was updated successfully, but these errors were encountered:
mattpen
No branches or pull requests
In #180 (comment), @mattpen said:
In general, scripts/programs should clean up files regardless of whether they encounter errors.
The text was updated successfully, but these errors were encountered: