touch up trac / make it usable

[m]

been talking to diamond about this. On my list

• rename bugs.devhack.net to todo.devhack.net or tasks.devhack.net
• restyling it
• having it be logged in for longer?
• having history on the back button be sane?

and from diamond:

im down to look into improving Trac's UX! the current plan is to write an alternative dashboard UI that improves certain awkward points, like:

• showing bugs first by default, no navigation needed
• grouping bugs into relevant categories by default
• highlight higher priority and/or recent bugs

hopefully with these improvements, our bugs will get generally higher visibility.

these are all very doable with trac's scripting I think. we'll see how easy it is.

[m]

oh, maybe "private" tickets as well?

[m]

oh also fucking getting it's wikiformatting into pandoc so I can convert it properly from markdown. or just make it accept markdown would be soooo much more sane. or mediawiki for god's sake.

semi relatedly but can you set the expected mime type on a text field for clipboard pasting hints?

[m]

also when the login button is clicked keep me on the page I'm on!!!!

[m]

having link previews for both trac & the wiki would be really good too

& stretch goal having replies replied to the bot that mirrors tickets be mirrored back to trac would be really good too.

[m]

done some wiki touchups here: ​https://git.devhack.net/devhack/core-infra/pulls/312/commits/5e79e7a131558d2224731158e3a13434d8516497

[m]

dropping the chat URL in the created trac tickets as well would be cool