ARCHIVE/xrpl-dev-portal
1
0
Fork 0
mirror of https://github.com/XRPLF/xrpl-dev-portal.git synced 2025-11-20 11:45:50 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fork/branch-aware edit on GH links, part 1/?

Browse Source
This commit is contained in:
mDuo13
2018-03-07 14:41:33 -08:00
parent 34e74eb51a
commit 560c84f4f9
3 changed files with 18 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
tool/jenkins.sh
View File

@@ -2,6 +2,11 @@
# meant to be run from the root directory of the repo
## Test: show pull request data in build results
echo "ghprbAuthorRepoGitUrl is: " ${ghprbAuthorRepoGitUrl}
echo "ghprbSourceBranch is: " ${ghprbSourceBranch}
echo "ghprbPullId is: " ${ghprbPullId}
set -e
tool/conflictmarkers.sh