You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The plan in #31 includes making both repository tools and signer integrate with git enough that
GH actions become simpler in "production"
the tools can be run in a local git repo for testing purposes
signer hopefully becomes easier to use
currently signer flow is
get signing event branch (either create or pull from remote)
run playground-sign
git add & git commit
git push to remote (that may or may not be same as the pull-remote)
I'd like this to be embedded in playground-sign:
"push-remote" and "pull-remote" need to be configured in .playground-sign.ini
signing-event (branch) name is either given as CLI arg (in this case fetch from remote, use a temp local branch)., Otherwise maybe we can make up the name?
it would be cool if playground-sign could figure out any currently open signing-events without a name...
git commit we can handle
git push to signing-event branch on push-remote -- this needs to be togglable with --push like in the repo tools
The text was updated successfully, but these errors were encountered:
jku
linked a pull request
Mar 13, 2023
that will
close
this issue
The plan in #31 includes making both repository tools and signer integrate with git enough that
currently signer flow is
I'd like this to be embedded in playground-sign:
--push
like in the repo toolsThe text was updated successfully, but these errors were encountered: