EDAV
EDAV copied to clipboard
add: removing a specific commit
https://stackoverflow.com/questions/37219/how-do-you-remove-a-specific-revision-in-the-git-history