These scripts are helpers for managing developer workflow when using git repos hosted on GitHub.
None
Victor Prechtel