2024-04-07, 02:34 PM
(2024-04-07, 10:33 AM)gnattu Wrote: You need to fork the repository and push to your own fork, and then open a pull request. Not even team members can directly push into the master branch.
I am just now realizing I missed this in the contributing instructions... Thanks... Just for my curiosities sake, what is the reason you have to fork the repo instead of just working on the main repo? Other repos I've worked on just have contributors clone the main repo, you make branches/PRs from that, but pushing directly to master is restricted. Is it to have a cleaner git history or something?