Sebastian Delgado bf95603b56
[FIX #3074] Combine PR scripts and clean up usage of merge-external-pr.sh
- Combine merge-pr.sh and merge-external-pr.sh using merge-external-pr.sh as a base
    - Modify script interface to ./scripts/merge-pr.sh <PR-ID> and remove options to run with REPO_URL BRANCH arguments
    - Works regardless of where PR is hosted and whether or not it is signed by external contributor.

Signed-off-by: Sebastian Delgado <sdalcega@gmail.com>
Signed-off-by: Eric Dvorsak <eric@dvorsak.fr>
2018-01-23 22:12:18 +01:00
..
2018-01-17 14:56:52 +01:00
2017-12-12 09:05:18 +01:00
2018-01-03 12:39:45 +02:00
2017-12-08 18:26:01 +01:00
2018-01-16 23:42:30 +09:00