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
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: update: create pull requests instead of commits directly on master (
Browse filesBrowse the repository at this point in the history
#27)
Currently the update workflow automatically creates commits directly on
master. Since #23 we have CI that can check for build failures, which is
something we'd like before committing to master.
For this we can make pull requests that will automatically be merged
once the PR's checks succeed.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters