user-cont tool We use this tool to ease our development workflow: Fork GitHub repositories Create pull requests List pull requests TODO Rename!! List releases Check out a PR Implement for Gitlab Implement for pagure Properly implement configuration Tests