Resolve "repo_name must not contain hyphens or other illegal characters and project_short_name is missleading"

Closes #3 (closed)

added confirmed label

requested review from @johannes.mey

assigned to @rschoene

added 1 commit

• fccc53ec - change project-short-name to grammar-name plus minor changes

Compare with previous version

marked this merge request as ready

added 1 commit

• f09dc19a - leftovers after renamings

Compare with previous version

merged

mentioned in commit 5b55dc6b