Bertram Bourdrez
Bertram Bourdrez
That workaround is not a good idea, if your push fails you don't get to see that. It's the most crucial step of any package deployment, and you're throwing away...
https://github.com/jcansdale/gpr/pull/115 This works on my end, will try to roll it into some of our pipelines to stress-test it.