Stream: Proof General devs

Topic: Pull Requests

view this post on Zulip Simon Hudon (May 24 2022 at 23:19):

I wrote a patch to allow users to change the way goals get recentered after they get displayed. I'd like to upstream it. Should I just create a pull request on the PG repo?

view this post on Zulip Notification Bot (May 25 2022 at 05:59):

This topic was moved here from #Proof General users > Pull Requests by Karl Palmskog.

view this post on Zulip Karl Palmskog (May 25 2022 at 06:22):

@Simon Hudon as a general rule in the Coq community, we encourage submitting PRs that fix bugs and/or introduce useful features/behavior. If you are unsure it would be accepted, the best option may be to first submit a GitHub issue and get some form of thumbs up there.

view this post on Zulip Simon Hudon (May 25 2022 at 16:26):

Thanks! I'll keep it in mind!

Last updated: Mar 02 2024 at 16:01 UTC