Distributed, offline-first bug tracker integrated in git