Describes the cause and action for error messages.
Error Message(English):
cannot push master
Gitlab replace files on repository with new one - Stack Overflow
https://stackoverflow.com/questions/46907795/gitlab-replace-files-on-repository-with-new-one?noredir・・・
Change Forced from a type thing into a Definition thing ・ Issue ... - GitHub
https://github.com/agda/agda/issues/2809