Add github push cmd

This commit is contained in:
Arnie 2024-11-03 22:55:12 +01:00
parent 064642a8c5
commit e0c0a8f5c8

View File

@ -108,6 +108,14 @@
nix fmt ./*.nix nix fmt ./*.nix
''; '';
}; };
github-push = {
description = "Push current branch to github, lazy workaround for automated mirror. TODO: Automate";
exec = ''
b=$(git rev-parse --abbrev-ref HEAD)
git push git@github.com:Sharsie/control4-utils.git "$b":"$b"
'';
};
}; };
} }
]; ];