Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revisionLast revisionBoth sides next revision | ||
| public:crocs:pullrequest [2016-09-07 17:07] – petrs | public:crocs:pullrequest [2016-12-01 13:28] – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 11: | Line 11: | ||
| - either comit into your repo or commit into your repo into dedicated branch (for this bugfix). Insert #xxx where xxx is number of created issue on target repo + add relevant comments (first line short summary, then longer explanation, | - either comit into your repo or commit into your repo into dedicated branch (for this bugfix). Insert #xxx where xxx is number of created issue on target repo + add relevant comments (first line short summary, then longer explanation, | ||
| - create pull request to target repo via github GUI | - create pull request to target repo via github GUI | ||
| - | - interact with repo owner | + | - interact with repo owner until bugfix is accepted |
| + | - enjoy good feeling | ||