Do not understand branch strategy

[gmacario]

Hi @ludusrusso, I just made a small typo fix and this ended up in the default (develop) branch of this repo. See commit f00671e

Later I realized that the master branch has more commits than develop. I would have expected the opposite.

Could you please clarify which branch is to be used when submitting fixes and Pull Requests?

[gmacario]

I suspect the master branch should be the default one on GitHub, at least it looks like this is the one used by GitHub pages to build the actual https://dotbot-io.github.io/

If so, could you please go to the repository settings (I have no privileges to do so) and set master to be the default branch? Otherwise I will probably be not the only one submitting wrong PR.

[gmacario]

Based on the results of #5 I concluded that the "master" branch should be the default one in this repository.

@ludusrusso or anyone with the right permissions can you please fix it in the GitHub project settings of this repository?