From 9f0236db3a376471dc5070fbbd573b224a5a7a97 Mon Sep 17 00:00:00 2001
From: binaryDiv <lexi@binarydiv.dev>
Date: Wed, 4 May 2022 10:56:51 +0200
Subject: [PATCH] gitconfig: Add alias "fetch-pr"

---
 .gitconfig.inc/common.gitconfig         | 3 +++
 .gitconfig.inc/user_binaryDiv.gitconfig | 3 +++
 2 files changed, 6 insertions(+)

diff --git a/.gitconfig.inc/common.gitconfig b/.gitconfig.inc/common.gitconfig
index 67056fd..6e9249d 100644
--- a/.gitconfig.inc/common.gitconfig
+++ b/.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"
diff --git a/.gitconfig.inc/user_binaryDiv.gitconfig b/.gitconfig.inc/user_binaryDiv.gitconfig
index 842bf50..ab959cf 100644
--- a/.gitconfig.inc/user_binaryDiv.gitconfig
+++ b/.gitconfig.inc/user_binaryDiv.gitconfig
@@ -8,3 +8,6 @@
 
 [commit]
     gpgsign = true
+
+[tag]
+    gpgsign = true