mirror of
https://github.com/CCExtractor/ccextractor.git
synced 2026-04-19 04:22:49 +00:00
[PR #1231] [MERGED] [IMPROVEMENT] Remove the need for the push to be on the master branch #2032
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/CCExtractor/ccextractor/pull/1231
Author: @NilsIrl
Created: 2/15/2020
Status: ✅ Merged
Merged: 2/15/2020
Merged by: @canihavesomecoffee
Base:
master← Head:remove_branch_specification📝 Commits (1)
88830e6Remove the need for the push to be on the master branch📊 Changes
3 files changed (+0 additions, -3 deletions)
View changed files
📝
.github/workflows/build_linux.yml(+0 -1)📝
.github/workflows/build_windows.yml(+0 -1)📝
.github/workflows/format.yml(+0 -1)📄 Description
This is because contributors don't have branches called master it isn't
possible to manually trigger workflows as suggested by
https://github.community/t5/GitHub-Actions/GitHub-Actions-Manual-Trigger-Approvals/m-p/31517.
My familiarity with the project is as follows (check one):
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.