Login
You're viewing the discuss.systems public feed.
  • 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