Idan Horowitz 6c5bb9a18f Meta: Add discord notifications for pushes and pull requests ... These are similar to the existing irc notifications.		2021-04-11 00:09:36 +02:00
..
cmake.yml	Meta: Add discord notifications for pushes and pull requests	2021-04-11 00:09:36 +02:00