mirror of
https://github.com/martinvonz/jj.git
synced 2025-05-28 10:31:14 +00:00
89bb1c4e71
We need to report more complicated errors on push. Firstly, we can have a mix of unexpected ref locations and remote rejections. We should report both at the same time. Second, git gives us a reason for why a push failed. For this to work, it's relevant to refactor the current error reporting path to allow us to inject this information.