Re: Push a ref to a remote with many refs

["Patrick Marlier (pamarlie)" <pamarlie@xxxxxxxxx>]

> To workaround this issue, I ended up skipping the refs that are not part of the push. See patch at the end of the message.
> Is this safe to do? Is there a better way to do this?

Some help on this?

Thanks!
--
Pat