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

Fix the force_ci_trigger feature (force-push with an SSH deploy key) for GitHub Actions #464

Draft
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

DilumAluthge
Copy link
Member

No description provided.

@DilumAluthge DilumAluthge force-pushed the dpa/fix-ssh-private-key branch from 4e980db to dd5b781 Compare October 31, 2023 11:17
@DilumAluthge DilumAluthge changed the title [WIP] Fix the force_ci_trigger feature (force-push with an SSH deploy key) for GitHub Actions Fix the force_ci_trigger feature (force-push with an SSH deploy key) for GitHub Actions Oct 31, 2023
@DilumAluthge DilumAluthge force-pushed the dpa/fix-ssh-private-key branch 2 times, most recently from 4ac888c to 9ed93ec Compare October 31, 2023 17:07
@DilumAluthge DilumAluthge marked this pull request as ready for review October 31, 2023 17:07
@DilumAluthge DilumAluthge force-pushed the dpa/fix-ssh-private-key branch from 9ed93ec to 73d2064 Compare October 31, 2023 17:15
@DilumAluthge DilumAluthge marked this pull request as draft October 31, 2023 17:17
@DilumAluthge DilumAluthge force-pushed the dpa/fix-ssh-private-key branch from 00765fa to f914f2d Compare October 31, 2023 18:04
@DilumAluthge DilumAluthge force-pushed the dpa/fix-ssh-private-key branch from fa2f945 to 7166c6c Compare December 1, 2023 22:01
@DilumAluthge DilumAluthge force-pushed the dpa/fix-ssh-private-key branch from 7166c6c to 0d18d2d Compare January 11, 2024 01:45
@DilumAluthge DilumAluthge force-pushed the dpa/fix-ssh-private-key branch from 0d18d2d to c472fba Compare January 11, 2024 01:47
@DilumAluthge
Copy link
Member Author

I think that this PR (#464 ) was made obsolete by #505, but I'm not 100% sure, because it's been a while since I looked at this PR.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant