whatwg/misc-server

View on GitHub

Miscellaneous resources for the servers hosting *.whatwg.org domains

Stars: 27
Forks: 17
Open beginner issues: 0
Indexed issues: 12

Dominant language: Python
License: No license data
Last GitHub push: Sep 7, 2026
Latest indexed: Sep 20, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed
PR merge metrics: No merged PRs in 30d

Beginner friendly Everything

Open All

12 open issues indexed

blog and wiki keep going down Open

Difficulty 4/5 3-5 days Newbie friendliness 15/100

whatwg/misc-server#163 · 10 comments · Opened Sep 26, 2021
Figure out Nginx comment syntax Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

whatwg/misc-server#156 · Opened May 28, 2021
Upgrading Debian on our VMs Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

whatwg/misc-server#144 · Opened Jan 25, 2021
Use 404 and 410 pages of whatwg.org elsewhere Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

whatwg/misc-server#143 · Opened Jan 18, 2021
Redirect trailing dot domains to dotless domains Open

Difficulty 2/5 1-3 hours Newbie friendliness 45/100

whatwg/misc-server#137 · Opened Nov 10, 2020
Redirect www. subdomains of all whatwg.org domains Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

whatwg/misc-server#136 · 2 comments · Opened Oct 28, 2020
Move ever-growing *.spec.whatwg.org storage off of the VM disk Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

whatwg/misc-server#107 · 17 comments · Opened Nov 29, 2019
Consider adding charset=utf-8 to CSS and SVG files? Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

whatwg/misc-server#91 · 1 comment · Opened Apr 25, 2018
Redirect /favicon.ico to the logo resource Open

Difficulty 2/5 1-3 hours Newbie friendliness 35/100

whatwg/misc-server#72 · Opened Jan 8, 2018
HSTS on whatpr.org Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

whatwg/misc-server#41 · 1 comment · Opened Nov 30, 2017
We should enable Brotli! Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

whatwg/misc-server#24 · 7 comments · Opened Oct 28, 2017
*.specs.whatwg.org should redirect to *.spec.whatwg.org Open

Difficulty 2/5 1-3 hours Newbie friendliness 45/100

whatwg/misc-server#16 · 1 reaction · Opened Sep 25, 2017

whatwg/misc-server

Get new issues in your inbox