Login
You're viewing the discuss.systems public feed.
  • John Regehrregehr@mastodon.social
    Oct 1, 2026, 3:22 AM

    it has been zero (0) days since a git repo with a protected main branch prevented me from accidentally pushing changes to main 😬

    💬 2🔄 2⭐ 9

Replies

  • 💬 0🔄 0⭐ 0
  • David Chisnall (*Now with 50% more sarcasm!*)david_chisnall@infosec.exchange
    Oct 1, 2026, 8:50 AM

    @regehr

    My least favourite thing about GitHub is that the same option that allows you to do the two-step process in the web UI to merge a PR without all of the tests being green also lets you force push to the branch with no checks or confirmation. Those are two completely different rights that are conflated in a single permission.

    💬 0🔄 0⭐ 0