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