tree e972d7b502a71a74b5588eebfc37c43db85505e2
parent 887523f22c812156d000d379cf550a0391c6f245
author Matthias Andreas Benkard <code@mail.matthias.benkard.de> 1640709860 +0100
committer Matthias Andreas Benkard <code@mail.matthias.benkard.de> 1640709860 +0100

git: Add GitHub synchronization.

Change-Id: I265ee9627d113febc9da97aee3a4324367a30fc7