Finding the Jenkins jobs corresponding to a given branch is bothersome
As a developer or reviewer, I need to go to https://jenkins.tails.boum.org/ and look for the 3 jobs (build, RB, test) whose name looks like the name of the branch I'm respectively working on or reviewing.
In systems that better integrate Git with CI, instead I have direct links from a MR to the corresponding CI jobs (and even CI results directly in the MR, but that's out of scope for this ticket), which is much more convenient.
This problem is not trivial to fix with our current Redmine + Jenkins setup. Presumably it would require a custom Redmine plugin or bot that knows how we map branch names to Jenkins job names.
Once our issues & MRs are on GitLab, the best option might be to have a bot that adds these links to the MR (ideally, in the description; worst case, as a comment).
If we switched to GitLab CI, this problem would be solved for free.