Add github push command
This commit is contained in:
parent
897d053117
commit
74191c32fb
@ -108,6 +108,14 @@
|
||||
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"
|
||||
'';
|
||||
};
|
||||
};
|
||||
}
|
||||
];
|
||||
|
||||
Loading…
Reference in New Issue
Block a user