Have any Coq devs tried the GitHub mobile apps? If so, how useful are they for managing Coq development (and by extension, Coq project development)?
Last time I used it I couldn't view code other than pull requests, the overall experience was worse than using the phone browser.
I've been using it a lot lately to preview my GitHub notifications.
It's not perfect but already pretty good.
For some PRs, I feel confident reviewing and merging them from the app.
Last updated: Feb 06 2023 at 19:03 UTC