This is an old revision of the document!
GitLab the software, is a web-based Git repository manager with wiki and issue tracking features.
push -f