2 Commits (72f97ac163bf24b44cb55c2bfbe1a0f00f00a8a2)

Author SHA1 Message Date
Adriaan de Groot e773fb65a8 CI: migrate push notification to helper script 4 years ago
Adriaan de Groot ded7991dd6 CI: different tactic for notifications 4 years ago