On Fri, 2020-05-01 at 05:53 -0700, Carlo Marcelo Arenas Belón wrote: > having said that, this looks like a good alternative, but might need to > make sure if die makes sense below or would be better to see if you can > still get a password through git credential even if that fails. Thank you.
