GitLab the software, is a web-based Git repository manager with wiki and issue tracking features.
push -f