Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Updates to the header links #5

Closed
1 of 4 tasks
domenic opened this issue Aug 28, 2015 · 2 comments
Closed
1 of 4 tasks

Updates to the header links #5

domenic opened this issue Aug 28, 2015 · 2 comments
Assignees
@domenic
Labels
spec tooling

Comments

@domenic
Copy link
Member

domenic commented Aug 28, 2015

Potential things to address:

  • Missing print.pdf #4, "PDF Version" link is 404ing
  • "Developer Version" is outdated. Should we still be linking to it? (This is presumably part of a larger conversation.)
  • "Change Log" points to the html5.org tracker, which isn't keeping up with GitHub. Should we change it to a link to the GitHub commits list, perhaps?
  • "View Open Bugs" links to Bugzilla, whereas we're moving to GitHub issues. Maybe we should rename it to "Open Bugs (Legacy)" and have a new "Open Bugs" (or "Open Issues"?) link?
@annevk
Copy link
Member

annevk commented Aug 28, 2015

I wonder what @benschwarz' thoughts are on the developer version.

I think renaming "Change Log" to "Commits" and pointing to GitHub is fine. This would be consistent with what we do elsewhere and what the Twitter account points to.

"legacy open bugs" is what I use elsewhere, see e.g., https://dom.spec.whatwg.org/.

@foolip
Copy link
Member

foolip commented Aug 31, 2015

Dropping the dead links until they're no longer dead and the last two points both SGTM.

@domenic domenic self-assigned this Aug 31, 2015
domenic added a commit that referenced this issue Sep 2, 2015
@domenic
Update top links
db33a45 
- Remove developer version for now, pending benschwarz/developers.whatwg.org#104
- Add "Contribute on GitHub"
- Change "Change Log" from html5.org tracker to GitHub "Commit Log"
- Rename "View Open Bugs" to "Legacy Open Bugs"
- Add "Open Issues" linking to GitHub issues
- Rename "File a Bug" to "Open an Issue"

Fixes #5.
@domenic domenic mentioned this issue Sep 2, 2015
Merged
annevk added a commit that referenced this issue Sep 4, 2015
@annevk
Update top links
0228f33 
- Remove developer version for now, pending benschwarz/developers.whatwg.org#104
- Add "Contribute on GitHub"
- Change "Change Log" from html5.org tracker to GitHub "Commits"
- Rename "View Open Bugs" to "Legacy Open Bugs"
- Add "Open Issues" linking to GitHub issues
- Rename "File a Bug" to "Open an Issue"

Fixes #5.
@annevk annevk closed this as completed in #90 Sep 4, 2015
@davidflanagan davidflanagan mentioned this issue Feb 17, 2017
Closed
@bkardell bkardell mentioned this issue Jun 14, 2019
Closed
@rwlbuis rwlbuis mentioned this issue Sep 18, 2024
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@domenic domenic

Labels
spec tooling
Milestone
No milestone
Development

No branches or pull requests
3 participants
@foolip @domenic @annevk