Jörg Thalheim 0e1de25029 allow bors to push (#28)		2023-01-11 23:01:58 +00:00
..
workflows	also build github pages in staging	2023-01-04 09:41:33 +01:00
settings.yml	allow bors to push (#28)	2023-01-11 23:01:58 +00:00