Learn more about these different git repos.
Other Git URLs
524438b
Improve the CI settings docs Make it clear that the token and the notification URL are provided after activation. Signed-off-by: Clement Verna <cverna@tutanota.com>