WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
239771
Block all direct pushes to GitHub
https://bugs.webkit.org/show_bug.cgi?id=239771
Summary
Block all direct pushes to GitHub
Michael Catanzaro
Reported
2022-04-26 08:19:45 PDT
Today I accidentally pushed a sidebranch the main repo instead of my personal fork. We should block this from happening since we want people to create pull requests only from forks.
Attachments
Add attachment
proposed patch, testcase, etc.
Yusuke Suzuki
Comment 1
2022-04-26 10:36:16 PDT
It is good if we can avoid creating a branch in the upstream repository.
Michael Catanzaro
Comment 2
2022-04-26 12:17:41 PDT
Caveat: we probably do want to allow pushing to stable branches (including creating new branches) webkit-* and safari-*-branch.
Radar WebKit Bug Importer
Comment 3
2022-05-03 08:20:20 PDT
<
rdar://problem/92669177
>
Jonathan Bedard
Comment 4
2022-06-13 09:58:15 PDT
I've prevented pushes to: eng/* dev/* bug/* Additionally, we have branch protections on: main safari-*-branch Happy to add more, but I also don't want to hamper folks ability to use feature branches, if we feel that is useful.
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug