Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

dist/tools: Add script for backporting PR's #8968

Merged
merged 2 commits into from
Feb 12, 2019
Merged

dist/tools: Add script for backporting PR's #8968

merged 2 commits into from
Feb 12, 2019

Commits on Feb 12, 2019

  1. dist/tools: Add script for backporting PR's 

    This script provides functionality to easily backport a merged pull request to
a release branch.

It relies of having a `github` API token stored in `~/.riotgithubtoken` by
default.

The script works by fetching information from the supplied **merged** pull
request. It then looks for the last release branch.
A temporary git `worktree` with a new branch is created based on this release
branch. All commits from the pull request are then cherry-picked into this
branch which is then pushed to `origin`.
It then creates a new pull request on `github` with a reference to the original
pull request. It optionally puts a comment under the original pull request to
the new backport pull request.

Co-authored-by: Gaëtan Harter <[email protected]>
    @bergzand @cladmi
    bergzand and cladmi committed Feb 12, 2019
    Configuration menu
    Copy the full SHA
    493cac2 View commit details
    Browse the repository at this point in the history

  2. tools/backport_pr: add tox.ini 

    Adapt tox file from `compile_and_test_for_board.py`.

`tox` is still not working without errors but gives way to start
refactoring.
    @cladmi
    cladmi committed Feb 12, 2019
    Configuration menu
    Copy the full SHA
    9af491d View commit details
    Browse the repository at this point in the history