search

coq / coq.github.io

Source files of the coq.inria.fr website
https://coq.inria.fr/
Other
15 stars 37 forks source link

Remove obsolete news item with bad link #51

Closed psteckler closed 6 years ago

psteckler commented 7 years ago

This news item contains a bad hyperlink, and is otherwise obsolete.

Pinging @maximedenes

Zimmi48 commented 6 years ago

You should also remove the corresponding index in NEWS. But do we want to remove outdated news? Pinging @letouzey.

letouzey commented 6 years ago

For me, such old news are interesting, they just constitute a kind of history of the project. For instance it could be interesting to know when the coq project was able to recruit a engineer.

If that's the broken link that bothers you, why not removing the <a href="..."> and leave the old url as plain text ? I was indeed hosting the job description on my own page, and decided that these details were now obsolete, and that removing this page was a good way to indicate that the job wasn't available anymore.

Best, Pierre

psteckler commented 6 years ago

If people think it's OK to have these old items around, I'm happy to close the PR.

ybertot commented 6 years ago

@psteckler, please modify your pull request to just remove the sentence "For more details see ...", instead of removing the whole news, thus accepting the suggestion by @letouzey.

psteckler commented 6 years ago

I pushed the change suggested by @ybertot .