6 ms·

Is pushing directly to master still not disabled to this day?

• hoverkraft 13y ago
  Still not disabled! Although at this point we're so habituated to PRs as a team that in practice it never happens. We did finally disable force pushes to master, though. Don't miss those one bit.
• Domenic_S 13y ago
  How would you even disable that in github?
  • davis_m 13y ago
    It is very easy to only allow others to pull your repository. It then functions much the same way as an open source project where pull requests are required to get code into the main repo.
    • Domenic_S 13y ago
      Yes, but you can't restrict push access to a branch ("restrict master") unless I'm missing something?