Differences between revisions 11 and 12
Revision 11 as of 2020-07-08 20:18:36
Size: 956
Editor: JendrikSeipp
Comment: Fix name and remove Rietveld instructions.
Revision 12 as of 2020-07-09 08:47:09
Size: 938
Comment: code reviews
Deletions are marked like this. Additions are marked like this.
Line 7: Line 7:
 * Prepare your issue or feature branch (e.g. issue123) according to [[../Git|our Git workflow]].
 * Push your Fast Downward repository to Github and navigate to it in your browser.
 * C
lick "Pull requests" and click "New pull request", then select the `main` branch of '''your repository''' on the left and the `issue123` branch on the right.
 * Fork the official Github repository.
 * In the fork, p
repare your issue or feature branch (e.g. issue123) according to [[../Git|our Git workflow]].
 * In the fork, click "Pull requests" and click "New pull request", then select the `main` branch of '''your repository''' on the left and the `issue123` branch on the right.

Back to developer page.

Code reviews with Github

You can prepare a code review by making a pull-request in your own Fast Downward fork on Github.

  • Fork the official Github repository.
  • In the fork, prepare your issue or feature branch (e.g. issue123) according to our Git workflow.

  • In the fork, click "Pull requests" and click "New pull request", then select the main branch of your repository on the left and the issue123 branch on the right.

  • Click "Create pull request".
  • Link to the pull request from the issue tracker.

Compare arbitrary revisions

Compare any two revisions by following the steps above but using the commit IDs of the commits you want to compare instead of the branch names. It is not possible to create a pull request this way because merging might not make sense for the selected commits but you'll be able to see the code difference.

FastDownward: ForDevelopers/CodeReview (last edited 2020-07-09 08:47:09 by SilvanSievers)