This repository is hosted on [`git.realraum.at`] and on [Github].
It contains documentation and scripts used for managing the network
-in [Realraum], an Austrian hackerspace.
+in [realraum], an Austrian hackerspace.
The copy on [Github] is (currently) deemed authoritative, to provide
(basic) issues-tracking and PR review tools. To push to both locations
[remote "origin"]
url = git@git.realraum.at:noc
- url = github.com:realraum/noc
+ url = git@github.com:realraum/noc
In the longer-term, we should setup an internal issues-and-review tool.
[`git.realraum.at`]: https://git.realraum.at/?p=noc.git;a=summary
[Github]: https://github.com/realraum/noc
-[Realraum]: https://realraum.at
+[realraum]: https://realraum.at
## Development process