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 06:34] – 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%%' |
| - | + | ||
| - | 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 | + | * Code that still needs discussion or consensus building is not ready to submit |
| - | * Incomplete code that's submitted may be converted into a bugzilla request at the discretion of the project. | + | * Github pull requests to the project |
| - | * When nobody can be found to review the change, it will be converted to a bugzilla request. | + | * Before |
| - | * When the domain experts would rather work with another tool, a pull request will be converted to that other tool. | + | * Pull requests that are for third party software should be submitted |
| - | * Pull requests older than 18 months will be converted to bugzilla items to not lose them. | + | * If there' |
| - | * When making | + | * Any pull request that isn't ready to go into the tree may be closed. |
| - | * Pull requests that are for software | + | * Stale requests may be closed with a request for rebase and a new pull request. |
| - | * If there' | + | * This is a best effort only service. The project will try make efforts to resolve |
| - | * 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' | + | |
| + | 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 '' | ||