Just putting what is on dev on master, it's annoying having Github nag about being "5400 commits behind master".
Another possible option we might try is to change (in Github repository settings) the default branch of this repository from "master" to "dev"; otherwise the default for all pull requests, etc. will be master/stable which at least for me is easy to overlook.
Just putting what is on dev on master, it's annoying having Github nag about being "5400 commits behind master".
Another possible option we might try is to change (in Github repository settings) the default branch of this repository from "master" to "dev"; otherwise the default for all pull requests, etc. will be master/stable which at least for me is easy to overlook.