Commit 486b107b8f7a7ca4335497899052c2b96b798208

Stefan Sperling 2019-07-30T20:18:41

might be a good idea to have something like git checkout -p