Jörg Thalheim d2a984e176 update-nur-search: do a git pull before push. ... Reduce potential conflicts on push		2020-04-15 10:03:59 +01:00
..
lib	ci: split nur update from pr testing	2020-03-12 16:06:28 +00:00
keys.tar.gz.enc	switch to nur-bot	2018-08-13 08:57:18 +02:00
test.sh	ci: split nur update from pr testing	2020-03-12 16:06:28 +00:00
update-nur-search.sh	update-nur-search: do a git pull before push.	2020-04-15 10:03:59 +01:00
update-nur.sh	ci: try last minute pull & rebase before pushing	2020-03-13 08:24:38 +00:00