-
Notifications
You must be signed in to change notification settings - Fork 0
Open
Labels
featureFeature requestFeature request
Description
Motivation
For performance needs we should have a flag to don't use the GitHub API to create the commits and push, and use the git commands instead, to commit in the name of an GitHub App:
Important
This method will not sign the commits
- configure git taking into account the recommended Email format for correct identification of GitHub apps
1.1 Get the GitHub app user id from https://api.github.com/users/josh-issueops-bot[bot]
1.2 Configure git
git config user.name josh-issueops-bot[bot]
git config user.email 149130343+josh-issueops-bot[bot]@users.noreply.github.com
- Add files modified / deleted and commit
git add -A
git commit --allow-empty -m "commit message"
- Push commit
git push --force origin HEAD:<branch_name>
Acceptance criteria
- New
--use-gitflag to force usage of git intead of GitHub API to create and push the commit
Metadata
Metadata
Assignees
Labels
featureFeature requestFeature request