Allow repos to be named after arbitrary levels of their file tree
Add version file
Build workflow file
Merge branch 'release/v1.2' into develop