Fork me on GitHub
Jakub Holý (HolyJak)16:12:54

@dorab I have merged your PR and proposed a simplification based on, I believe, our agreement in the previous discussions here


Thanks. Reviewed and merged your simiplifications.


Please delete your branch when able. Thanks.

Jakub Holý (HolyJak)21:12:09

Oh, that was what I wanted to do, switch on the auto-delete!

Jakub Holý (HolyJak)21:12:20

@carmen Could you please go to , find on the page "Automatically delete head branches", check it and save it? And perhaps do it for cryogen, -docs, etc as well? 🙏 Thank you!!!