Add github push command

This commit is contained in:
Arnie 2024-11-03 23:18:25 +01:00
parent 897d053117
commit 76ab1dd910

View File

@ -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/nix.git "$b":"$b"
'';
};
};
}
];