Git-bug: bug tracker embedded in git