Closed jmank88 closed 6 years ago
Yeah, this is just a hiccup while moving from the private repo. We should figure out the right workflow for operating in the public, I imagine it might be a little different.
Fixed in b9b9e4a251050788e8cee7e12f40e1c6508f9c05.
CONTRIBUTING.md says:
but no develop branch exists. Are these docs stale? Or has
develop
just not yet been pushed to the public repo?