gitconfig: Add alias "fetch-pr"

.gitconfig.inc/common.gitconfig

@@ -61,3 +61,6 @@
 
     # Submodule helpers
     sm-update = submodule update --init --recursive --remote --merge
+
+    # Fetch a branch from a pull request (supported by GitHub)
+    fetch-pr = "!f() { [ $# -eq 2 ] || { echo 'Usage: git fetch-pr PULL_REQUEST_ID BRANCH_NAME'; exit 1; }; git fetch origin pull/$1/head:$2; }; f"

.gitconfig.inc/user_binaryDiv.gitconfig

@@ -8,3 +8,6 @@
 
 [commit]
     gpgsign = true
+
+[tag]
+    gpgsign = true