Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add Github repository name to build dropdown (#1340)
* Add url to version dropdown in deploy form * Display repository name in build dropdown * Run scalafmt * Pull out repository variable --------- Co-authored-by: Julia Branke <[email protected]>
- Loading branch information