Start pointing people to submitting github pull requests for simple changes.
Sponsored by: Netflix
Differential D38382
contributing: Start pointing people at github imp on Feb 4 2023, 6:05 PM. Authored by Tags None Referenced Files
Details Start pointing people to submitting github pull requests for simple changes. Sponsored by: Netflix
Diff Detail
Event TimelineThere are a very large number of changes, so older changes are hidden. Show Older Changes Comment Actions Add two points: (1) You must not use the github fake address
Comment Actions These are great guidelines. As a related, but tangential improvement, I would suggest creating a small PR template in the src repo that points to this page/section. This makes it more discoverable. Having the guidelines linked/listed when creating a new PR allows us to more easily justify immediate rejection of PRs that don't follow them ("you didn't read the instructions"). Comment Actions Add note about ports pull requests. Comment Actions Since that's in a separate repo, I'll have to do a separate review. I love the suggestion... Comment Actions Also a good idea... Most likely, though, it will be a brief note pointing people to our other docs which are more likely to be up to date.
Comment Actions Thanks for the feedback... I've updated things...
|