Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
When changes should be pushed to the repo the original checkout must be done without persisting the credentials. Otherwise we can't override the permissions later and use our bot for pushing the changes to the repository.
- Loading branch information