More than anything else, they force a stronger self documenting style of coding. That said PR history is github proprietary (if of course you're using github for your PRs). It may be prudent to occasionally back up your data: https://github.blog/2018-12-19-download-your-data/ .
On Monday, August 17, 2020 at 1:15:13 PM UTC-4 [email protected] wrote: > I'd go for that. PRs, I have noticed on other projects, can support a > good discussion before the thing is finalized. > > > On Monday, August 17, 2020 at 12:28:58 PM UTC-4, Edward K. Ream wrote: >> >> The days of cowboy commits are coming to an end. >> >> In future, I plan to create a PR for all my work. A PR is a good record >> of what has been done, and it should help prevent unwanted merge conflicts. >> >> I think separate PR's for all work makes sense for all of Leo's devs. >> What do you think? >> >> Edward >> > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/adc78230-9fc0-49ea-bdc1-792bed95c464n%40googlegroups.com.
