www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 5c4fdc9b66e06e74046df5f78c459380e8c3be3c
parent 7279b083956568191a6d87dd81873914dba1a894
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Tue, 21 Mar 2017 19:45:13 +0100

Fixed regexp

Diffstat:
Mauto-push-master.sh | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/auto-push-master.sh b/auto-push-master.sh @@ -35,7 +35,7 @@ else # Push to the auto-git branch, which can then auto-push to master, after this build finished repo_url="$(git config remote.origin.url)" - ssh_repo_url="$(echo "$repo_url" | sed -e 's|^https://github.com/|git@github.com:')" + ssh_repo_url="$(echo "$repo_url" | sed -e 's|^https://github.com/|git@github.com:|')" commit_hash="$(git rev-parse --short HEAD)" git log --oneline --decorate --graph -10 git fetch auto-push