ci: Do not set git's user.{email,name} config options#1201
Merged
real-or-random merged 1 commit intobitcoin-core:masterfrom Jan 31, 2023
Merged
ci: Do not set git's `user.{email,name}` config options#1201real-or-random merged 1 commit intobitcoin-core:masterfrom
real-or-random merged 1 commit intobitcoin-core:masterfrom
