Merge branch 'p53' into home

2023-04-16 00:22:58 +02:00
parent accc96333d 81586b9fbc
commit 88c283b2e9
16 changed files with 285 additions and 69 deletions
@@ -4,6 +4,8 @@
    ;signingkey = 8B2741BF148B1059065A71EEE81E8B180465D116 ;540
    signingkey = BAE2CD06F0A3753A0F8D0A21D4620E6DF3E0121D ;539
    ;signingkey = 4F78275C96E34F56920CF7B5CACB2A128E557EFD ;W
+    ;signingkey = C6424C524F8B4D0B0C6F9380ACD9F65FA7E19986;USB-C
+    token = REPLACE HERE TOKEN
 [commit]
 	gpgSign = true
 [gpg]
@@ -18,6 +20,7 @@
 	d = difftool
 	adog = log --all --decorate --oneline --graph
 	dog = log --decorate --oneline --graph
+	count-lines = "! git log --author=\"$1\" --pretty=tformat: --numstat | awk '{ add += $1; subs += $2; loc += $1 - $2 } END { printf \"added lines: %s, removed lines: %s, total lines: %s\\n\", add, subs, loc }' #"
 [push]
 	default = current
 [core]