6 commits

Author	SHA1	Message	Date
Jörg Thalheim	ff0cd25b72	fix push url	2020-11-29 18:20:57 +01:00
Jörg Thalheim	dcc01caa04	ci: try to fix pushing	2020-11-29 18:10:00 +01:00
Jörg Thalheim	b3a39410e7	switch to github actions from travis	2020-11-29 17:36:04 +01:00
Jörg Thalheim	7b6bd62eb1	ci: try last minute pull & rebase before pushing	2020-03-13 08:24:38 +00:00
Jörg Thalheim	5df82248f0	ci: try to fix update by pulling first	2020-03-12 17:27:55 +00:00
Jörg Thalheim	64d5a2a9ab	ci: split nur update from pr testing	2020-03-12 16:06:28 +00:00

Renamed from ci/deploy.sh (Browse further)