The specs for our group are currently only being deployed to Github pages, which means that all the stuff on TR is out of date. We should refrain from unnecessarily publishing stuff to GitHub pages and instead auto publish to /TR/ (or we can do both, if people really want - though what's on TR and what's on Github pages would be identical apart from the WD/ED labels).
The specs for our group are currently only being deployed to Github pages, which means that all the stuff on TR is out of date. We should refrain from unnecessarily publishing stuff to GitHub pages and instead auto publish to /TR/ (or we can do both, if people really want - though what's on TR and what's on Github pages would be identical apart from the WD/ED labels).