mirror of
https://github.com/sharkdp/bat
synced 2026-06-30 13:33:16 +00:00
0ed527f0d1
To mitigate a bug in the GitHub API that broke the Dependabot action that updates submodules. See sharkdp/bat#3198.