[jenkins] fix: handle deleted GitHub user during build#1165

Wayonb merged 1 commit intomainsymbol/symbol-docs:mainfrom

fix/deleted_git_usersymbol/symbol-docs:fix/deleted_git_userCopy head branch name to clipboard