streamline github dev process

[Jeremy Lavergne]

You can achieve that nicely by either editing the revert commit
after-the-fact (git commit --amend) or you can actually ask revert to
not auto-commit (git revert -n).

This way you can make further necessary edits while keeping to one solid
revert commit.

On 05/30/2017 08:34 PM, Helmut K. C. Tessarek wrote:
> This is why in step 2 you set it to v1.2 (which was supposed to be the
> epoch equivalet in my example).
> Sorry, I should have listed the steps more clearly.
> 
> I understand that you have to increment it, otherwise users won't see
> the update.