songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix the script when the merge fixes

This commit is contained in:
Laurent Rineau 2020-10-09 16:53:07 +02:00
parent 40338b2a23
commit c300ef6591
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Scripts/developer_scripts/merge_pr_with_label
View File

@ -9,7 +9,7 @@ fi
for pr in $(python3 ./Scripts/developer_scripts/list_pull_requests.py "$1" --unmerged); do for pr in $(python3 ./Scripts/developer_scripts/list_pull_requests.py "$1" --unmerged); do
if ! hub merge $pr; then if ! hub merge $pr; then
echo $p; echo $pr;
break break
fi fi
done done