Details
-
Improvement
-
Status: Open
-
Major
-
Resolution: Unresolved
-
None
-
None
-
None
Description
While pretty…minor, it would be nice for consistency. Unless we just directly merge PRs through GitHub for the website in this case?