advanced_git_workshop This future workshop will include all my own difficulties with git git Editor How to change pushed commit (difficulties with copy+paste)