Add missing menus
changed milestone to %1.7
added M-bma T-doc labels
enabled an automatic merge when the pipeline for 89340791 succeeds
mentioned in commit de1f064e
merged