Custom properties
Custom properties allow you to decorate your repository with information such as compliance frameworks, data sensitivity, or project details.
merge-strategyEn los repos con Bors hay que comentar "fin merge" y en los otros repos hay que mergear de manera normal
merge