Eduardo Broto a44fa387ef Update documentation on changelog updates		2020-06-01 20:30:20 +02:00
..
adding_lints.md	Add common lint tools doc	2020-05-25 20:03:55 +02:00
backport.md	Document how to backport changes to beta	2020-03-25 19:52:58 +01:00
changelog_update.md	Update documentation on changelog updates	2020-06-01 20:30:20 +02:00
common_tools_writing_lints.md	Add common lint tools doc	2020-05-25 20:03:55 +02:00
release.md	Run fetch before testing if master contains beta	2020-04-23 23:25:35 +02:00