aeb44f783064140a4e09f9c0691509dfb31ddccb not-for-merge branch 'master' of /home/rene/github/github/git-internals/repos/using-git-for-collaboration/Bob