You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Jan 30, 2019. It is now read-only.
Repository navigation
This repository was archived by the owner on Jan 30, 2019. It is now read-only.
How did you discover the page that contained the link? Did you find it with a search engine? Did you never actually see the Java EE platform spec web site?
It's a quirk of GitHub that it will automatically add the appropriate extension to file nnames on the web site, but not in the repository view. This has the advantage that we can change the authoring language for the page from markdown to html, for example, without breaking any of the bookmarks to the page. This has the disadvantage that the links in the repository view don't work.
You're the second person to complain about this, so we either need to give up on preserving bookmarks and use the full file name with extension everywhere, or we need to find a better way to make people aware of this issue.
Activity
bshannon commentedon Sep 6, 2017
You didn't provide any details, so I'm going to guess that you clicked on the link on the Java EE platform spec repository page, instead of the link on the Java EE platform spec web site. Is that correct?
How did you discover the page that contained the link? Did you find it with a search engine? Did you never actually see the Java EE platform spec web site?
It's a quirk of GitHub that it will automatically add the appropriate extension to file nnames on the web site, but not in the repository view. This has the advantage that we can change the authoring language for the page from markdown to html, for example, without breaking any of the bookmarks to the page. This has the disadvantage that the links in the repository view don't work.
You're the second person to complain about this, so we either need to give up on preserving bookmarks and use the full file name with extension everywhere, or we need to find a better way to make people aware of this issue.