Stream: Coq devs & plugin devs

Topic: GitHub mobile apps for Coq development


view this post on Zulip 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)?

view this post on Zulip 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.

view this post on Zulip Théo Zimmermann (Aug 10 2020 at 15:34):

I've been using it a lot lately to preview my GitHub notifications.

view this post on Zulip Théo Zimmermann (Aug 10 2020 at 15:34):

It's not perfect but already pretty good.

view this post on Zulip Théo Zimmermann (Aug 10 2020 at 15:34):

For some PRs, I feel confident reviewing and merging them from the app.


Last updated: Oct 16 2021 at 03:02 UTC