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.

Sign up for GitHub

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

Jump to bottom

.github(no-important-files-changed): add github token #377

Closed

exercism-bot wants to merge 1 commit into exercism:main from exercism-bot:org-wide-files/7741814548

Contributor

exercism-bot commented Feb 1, 2024

ℹ More info: exercism/org-wide-files@bfc6fe5
👁 Tracking issue: exercism/org-wide-files#330


          🤖 Sync org-wide files to upstream repo

b5b9e6d

More info: exercism/org-wide-files@bfc6fe5

ee7 changed the title ~~🤖 Sync org-wide files to upstream repo~~ .github(no-important-files-changed): add github token

ee7 mentioned this pull request

🤖 Sync org-wide files to upstream repo #378

Closed

Member

ee7 commented Feb 15, 2024

Closing in favor of #381, because:

we have a rule that prevents this branch being merged unless it's up to date with main
we can't push or force-push to an @exercism-bot branch

ee7 closed this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet