4 Commits

Author	SHA1	Message	Date
Søren Theilgaard	400be8581e	checkLabels.sh script ... With a bit of improvements to explaining that labels are small case letters with numbers, “_”, and “-”. And nothing else.	2021-08-25 10:54:03 +02:00
Søren Theilgaard	1dc42a22a4	change to zsh ... Then we can use zsh to somewhat clean up the label name (at least get rid of special characters from the URL).	2021-08-24 15:49:35 +02:00
Armin Briegel	bb6058c7f6	Merge branch 'dev' into fragments	2021-08-16 15:48:13 +02:00
Armin Briegel	8ffc4dd88b	created a utils directory	2021-04-21 11:30:58 +02:00