An alternative to the last 2 instructions is to use the script from tools folder:
* cd tools
* update_git_working_copy
Reference in New Issue
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.