summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Greg Burri [Fri, 29 Sep 2023 18:49:56 +0000 (20:49 +0200)]
Change deployment to 'release'
Greg Burri [Fri, 29 Sep 2023 18:49:13 +0000 (20:49 +0200)]
Send an email in case of error
Greg Burri [Fri, 29 Sep 2023 10:10:00 +0000 (12:10 +0200)]
First commit: check status without sending email