Skip to content

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.

2 participants