Commit 7b3fde244a9a450ebb2c9bcaf26d091b4aabc3df

Stefan Sperling 2019-07-28T15:34:17

clearly state where 'git fetch' and 'git push' are required