Open peter-janderks opened 2 years ago
only accept merges into dev if it doesn't decrease the coverage
only accept merges into dev if it doesn't decrease the coverage