Merge requests from forks can't be merged as they are not built by Jenkins

See #304 (comment 1021607) and #304 (comment 1021611).