diff options
Diffstat (limited to 'scripts/pull-and-verify.sh')
| -rwxr-xr-x | scripts/pull-and-verify.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/pull-and-verify.sh b/scripts/pull-and-verify.sh index 3035126e..ac9aa0a6 100755 --- a/scripts/pull-and-verify.sh +++ b/scripts/pull-and-verify.sh @@ -22,5 +22,7 @@ for md in $3/*.xml; do echo "<xi:include href=\"$md\"/>" done echo "</EntitiesDescriptor>" -) > $3.mxml +) > $DIR.mxml +git add $DIR.mxml $DIR +git commit -m "$URL into $DIR" $DIR.mxml $DIR rm -rf $TMPF $TMPD |