Karl Palmskog (Aug 09 2020 at 20:53): Karl Palmskog (Aug 09 2020 at 20:53):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)?
Yishuai Li (Aug 10 2020 at 05:14):Last time I used it I couldn't view code other than pull requests, the overall experience was worse than using the phone browser.
Théo Zimmermann (Aug 10 2020 at 15:34):I've been using it a lot lately to preview my GitHub notifications.
Théo Zimmermann (Aug 10 2020 at 15:34):It's not perfect but already pretty good.
Théo Zimmermann (Aug 10 2020 at 15:34):For some PRs, I feel confident reviewing and merging them from the app.
Last updated: Jun 04 2023 at 19:30 UTC