在本地和远程都删除 Git 分支
version control - How do I delete a Git branch locally and remotely? - Stack Overflow
git push -d <remote_name> <branchname> # Delete remote
git branch -d <branchname> # Delete local查看全局范围的 Git 配置
默认情况下 --global --list 不会包含 include 指令带入的文件，但仅仅 --list 展示当前位置的配置时会包含 includes。有时候想要区分配置是否被当前仓库配置文件覆盖，得打开 .git/config 文件查看。
这个指令能列出所有，可以考虑加到 alias 中
git config --global --list --includesiPadOS Key Repeat
实际只有空格键和方向键支持重复，字母和数字长按会弹出变音字符选框。Apple 把这看作是 Feature，What a shame
https://github.com/ish-app/ish/issues/454#issuecomment-636399171
https://apple.stackexchange.com/questions/92101/how-do-i-enable-key-repeat-on-ios