Merge branch 'main' into jwi-pathdocu

This commit is contained in:
Johnny Willemsen 2020-10-02 17:20:12 +02:00
commit 8af5cbfde0
No known key found for this signature in database
GPG key ID: CCE55DD593057AD0
68 changed files with 2985 additions and 1339 deletions

View file

@ -2,5 +2,5 @@
mkdir override-git-version
cd override-git-version
echo @echo override git version 1.2.3 > git.cmd
echo ::add-path::%CD%
echo "%CD%" >> $GITHUB_PATH
cd ..

View file

@ -5,5 +5,5 @@ cd override-git-version
echo "#!/bin/sh" > git
echo "echo override git version 1.2.3" >> git
chmod +x git
echo "::add-path::$(pwd)"
echo "$(pwd)" >> $GITHUB_PATH
cd ..