Skip to content

Get default push remote from configuration#2156

Merged
extrawurst merged 6 commits intoextrawurst:masterfrom cruessler:push-to-configured-default-remoteApr 14, 2024