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