This change is split out from #20697 as requested by MarcoFalke, and allows using lint task in forked repos with personal Cirrus CI accounts.
Based on #20697, only the last commit should be reviewed.
Co-authored-by: MarcoFalke <falke.marco@gmail.com>
<!--e57a25ab6845829454e8d69fc972939a-->
The following sections might be updated with supplementary metadata relevant to reviewers and maintainers.
<!--174a7506f384e20aa4161008e828411d-->
Reviewers, this pull request conflicts with the following ones:
If you consider this pull request important, please also help to review the conflicting pull requests. Ideally, start with the one that should be merged first.
@MarcoFalke Any hint why Cirrus CI is not triggered by this pull?
Sorry, no. Though, this has to wait on #20697 anyway