On 7/31/25 17:59, Elliotte Rusty Harold wrote: > On Thu, Jul 31, 2025 at 8:50 AM Konrad Windszus <k...@apache.org> wrote: >> Hi, >> Please note that only those branch protection rules which are enforced by >> both GitHub and GitBox matter. As long as I can easily bypass the branch >> protection rules by working with GitBox there is little point in enabling >> those. > Not necessarily. On more than one occasion I've accidentally pushed to > master out of simple confusion about which branch I was on locally, happened to me too more than once.
Since then I changed how I push and it never happened again so far. If everything is set explicitly and nothing is taken from the context not much can go wrong: git push g...@github.com:user/repo local_branch:remote_branch (local and remote branch would be the same in most cases) (branch protection is still a good thing though!) best regards, michael > and then had to roll back. This would prevent such faux pas. Don't let > the perfect be the enemy of the good. > > --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@maven.apache.org For additional commands, e-mail: dev-h...@maven.apache.org
