git: add ghp fork repository #68

Merged
benvin merged 1 commits from benvin/ghp-repo into main 2026-08-13 22:59:10 +10:00
@@ -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"