-
-
Notifications
You must be signed in to change notification settings - Fork 333
ci/update: use nix-community GitHub App #3361
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
Conversation
- name: Checkout repository | ||
uses: actions/checkout@v4 | ||
with: | ||
ssh-key: ${{ secrets.CI_UPDATE_SSH_KEY }} |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@GaetanLepage once this PR is merged and backported to all branches we plan to run updates on, you can delete the CI_UPDATE_SSH_KEY
repo secret.
Seems to be working: #3362 |
5d6a1fe
to
ad7e489
Compare
This comment was marked as resolved.
This comment was marked as resolved.
This comment was marked as resolved.
This comment was marked as resolved.
✅ Backports have been created
|
✅ Backports have been created
|
This comment was marked as resolved.
This comment was marked as resolved.
This comment was marked as resolved.
This comment was marked as resolved.
This pull request, with head sha This pull request will be automatically closed by GitHub.As soon as GitHub detects that the sha It is possible for this pull request to remain open if this detection does not happen, this usually happens when a force-push is done on this branch |
As discussed on matrix, use the nix-community GitHub APP setup by @zowoq, instead of @GaetanLepage's SSH Deploy Key, for work done by the
update
CI workflow.