diff --git a/common.nix b/common.nix
index 0bdf099..e572626 100644
--- a/common.nix
+++ b/common.nix
@@ -519,6 +519,7 @@ in
           undo = "reset --soft 'HEAD^'";
           a = "add -A";
           p = "push";
+          fp = "push --force-with-lease";
           c = "clone";
           cc = ''clone "$(wl-paste)"'';
           d = "diff";
@@ -567,6 +568,12 @@ in
               user = "git";
               identityFile = "${sshDir}/github";
             };
+            "git.cs.uni-paderborn.de git.cs.upb.de" =
+              lib.hm.dag.entryBefore [ "*.cs.upb.de *.cs.uni-paderborn.de" ]
+                {
+                  user = "git";
+                  identityFile = "${sshDir}/upb";
+                };
             "*.cs.upb.de *.cs.uni-paderborn.de" = {
               extraOptions = {
                 GSSAPIAuthentication = "yes";