| ID | Category | Title | Creator | Status | Result |
|---|---|---|---|---|---|
| 267 | legacy | Move the primary repository from our own infrastructure to gitlab. This means everyone will need to create an account at gitlab (or use a google, twitter or github account there) and add their SSH keys there. Instructions will come in time. | divVerent | DECIDED | No reason given (by ?) |
-
| User | Decision | Comment |
|---|