Contributors to Comments on 2018-08-13 A tip on git stash