search

jcommelin / queueboard

Mathlib4 review and triage dashboard
https://jcommelin.github.io/queueboard/
Apache License 2.0
3 stars 3 forks source link

link to this repo #46

Closed bryangingechen closed 1 month ago

bryangingechen commented 1 month ago

(Because I often want to come here to PR a change.)

It would also be useful to have a link from this repo to the deployed site in the README and/or a link in the "About" section of the repo.

grunweg commented 1 month ago

Good idea about the readme/the about section. I just added the former; it seems only @jcommelin can add the latter.

grunweg commented 1 month ago

Thanks for proposing this! I like the idea; I'm not sure about the particular form. In my mind, users of the queueboard may not be the ones wanting to modify it (but there's certainly overlap). Hence, I would prefer making this slightly more slightly. What do you think about this version?

    print(f"""<small>This dashboard was last updated on: {updated}<br>
        Feedback on this dashboard is welcome, for instance <a href="https://github.com/jcommelin/queueboard">directly on the github repository</a>.</small>""")
grunweg commented 1 month ago

I just pushed the above change - this is easy to change or revert, and I presume the exact wording is not critical. So: if you prefer a different wording, please say so and we can change it!

bryangingechen commented 1 month ago

I'm happy with your suggestion, thanks!