git: alias "pul" to "pull"

This commit is contained in:
2025-07-27 16:40:06 +00:00
parent afe4857a58
commit b08ab26ea1

View File

@@ -48,6 +48,7 @@ in
alias.d = "difftool";
alias.dif = "diff"; # common typo
alias.difsum = "diff --compact-summary"; #< show only the list of files which changed, not contents
alias.pul = "pull"; # common typo
alias.rb = "rebase";
alias.reset-head = "reset --hard HEAD";
alias.st = "status";