--- title: Improve feedback when a developer is unable to push to an empty repository merge_request: 20519 author: type: changed