Repository custom properties
Add metadata to your repositories, 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