Hi all,
----- Original Message -----
> [...]
> - Removing the git dev/master branch distinction
>
> Having separate dev and master branches is not proving useful
> to anyone that we know of. We're planning to switch to only a
> "master" branch, and dropping "dev" entirely. Release tags
> will still be made for each release. A separate note will be
> sent just prior to cutting over, so everyone can update their
> .git/config files, etc.
>
We've started this switch today - HEAD on git.pcp.io now points
to the "master" branch, which is fully merged with "dev". All
new updates should go directly to master.
The old dev branch will be kept around until early next week so
there's time to switch (please let me know if more time would be
of use to you). It'll no longer be receiving updates though.
cheers.
--
Nathan
|