Merge pull request 'git: add ghp fork repository' (#68) from benvin/ghp-repo into main
ci/woodpecker/push/apply Pipeline was successful
ci/woodpecker/push/apply Pipeline was successful
Reviewed-on: #68
This commit was merged in pull request #68.
This commit is contained in:
@@ -0,0 +1,17 @@
|
|||||||
|
description: "Fork of goodtune/ghp (GitHub proxy) with unkin patches"
|
||||||
|
private: true
|
||||||
|
default_branch: "main"
|
||||||
|
default_delete_branch_after_merge: true
|
||||||
|
default_merge_style: "squash"
|
||||||
|
branch_protection:
|
||||||
|
- rule_name: "main"
|
||||||
|
merge_whitelist_teams:
|
||||||
|
- "Owners"
|
||||||
|
# Whitelist-push: the owner can push main directly (needed for the initial
|
||||||
|
# push and the fork's maintenance workflow); everyone else must open a PR.
|
||||||
|
enable_push: true
|
||||||
|
push_whitelist_users:
|
||||||
|
- "unkinben"
|
||||||
|
# PRs to main must pass the fork build/vet pipeline before merge.
|
||||||
|
status_check_contexts:
|
||||||
|
- "ci/woodpecker/pr/build"
|
||||||
Reference in New Issue
Block a user