@pingou Do we really want to drop this? I thought we might be keeping this as a fallback for JS-free usage?

It's a good question. I am a little bit inclined to remove it entirely, the server-side highlighting has issues (you're more than aware of it) and I'm not sure how much of the new UI works w/o JS tbh.

Sounds like this is a good question for @ryanlerch. There's a good number of people who like the fact that Pagure is pretty functional without JS.

from a quick testing, all the drop-downs in the new front page are not working, the comment box looks odd due to the preview feature, I couldn't close a ticket

All the editing of metadata requires JS (I don't think this is different from now), The entire stats page also requires JS, the new settings pages as well.

So quite a few functions require JS already

@pingou I think it's fine if most editing functions require JS, but if the viewing functions work, I would consider that okay...

Well, some page will no longer render correctly w/o JS I believe, independently from this PR.

This PR won't prevent any rendering, it'll just look a little less pretty.

looks good to me, +1