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?
This topic was moved here from #Proof General users > Pull Requests by Karl Palmskog.
@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.
Thanks! I'll keep it in mind!
Last updated: Feb 06 2023 at 05:03 UTC