Add git-rev to Patching [#424]