autoproj-git

https://github.com/doudou/autoproj-git

This autoproj plugin provides git-specific functionality for autoproj, such as management of github-like PRs, automatic cleanup, ...