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
keys.tar.gz.enc
test.sh
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