forked from gitea/gitea

* More tweaks to repo top panel * undo hiding of compare button on master * attempt to fix ci issue * another ci attempt
* More tweaks to repo top panel * undo hiding of compare button on master * attempt to fix ci issue * another ci attempt