2 commits

Author	SHA1	Message	Date
R0Wi	0a9ddf8b70	Merge remote-tracking branch 'upstream/master' into merge_upstream	2021-04-03 08:28:05 +02:00
Robin Windey	fd6f6e2659	docker hub push (#3) ... * Docker push action; sync forc manually * Run on push * Update README badges * Remove test	2020-10-10 09:59:30 +02:00