Learn more about these different git repos.
Other Git URLs
45dfc32
update man pages with info about git_release_branched and the related macros