Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
| githubpullrequests [2017/03/01 00:44] – WarnerLosh | githubpullrequests [2017/03/01 21:00] (current) – Add notes (as used by svn2git) to remote example EdMaste | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Github Pull Request Policy ====== | + | Here's a rough outline of the %%FreeBSD%%' |
| * Github pull requests should be made for mature code that's ready to commit. The pull request should include a description of the problem being solved as well as a commit message that meets the %%FreeBSD%% project' | * Github pull requests should be made for mature code that's ready to commit. The pull request should include a description of the problem being solved as well as a commit message that meets the %%FreeBSD%% project' | ||
| - | * Github pull requests should not be used for discussion. | + | |
| - | * Incomplete code that's submitted may be converted into a bugzilla request that the discretion of the project. When nobody can be found to review the change, it will be converted to a bugzilla request. When the domain | + | |
| - | * Pull requests | + | * Before making non-trivial changes |
| - | * When making pull requests that are non-trivial (trivial changes include adding new devices to a driver, fixing spelling, correcting minor bugs in non-critical systems), it' | + | * Pull requests |
| - | * Pull requests | + | * If there' |
| - | * Best Effort Only. The project will make efforts to look at the pull requests from time to time. We make no timeliness guarantees at this time. Github pull requests remain an experimental feature of the project and may not get the time and attention of more mature efforts. If the submitter doesn' | + | * Any pull request that isn't ready to go into the tree may be closed. Best effort attempts to redirect to Bugzilla or a more appropriate location may be made. |
| + | * Stale requests | ||
| + | * This is a best effort only service. The project will try make efforts to resolve | ||
| + | |||
| + | Subject to change in the future as resources change and new tooling is created. Please see the %%FreeBSD%% handbook for information on Bugzilla, Phabricator and our code submission standards. | ||
| + | |||
| + | ===== Fetching pull requests into local repo ===== | ||
| + | To include pull requests when fetching add the following entry to the appropriate remote config in .git/ | ||
| + | |||
| + | For example, the full remote entry may look like: | ||
| + | |||
| + | < | ||
| + | [remote " | ||
| + | url = https:// | ||
| + | fetch = +refs/ | ||
| + | fetch = +refs/ | ||
| + | fetch = +refs/ | ||
| + | </ | ||
| + | |||
| + | After fetching from this remote, individual pull requests can be examined with commands like '' | ||