Add ref.; amending last Git commit message before pushing