Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
repos
mwbot-rs
mwbot
Merge requests
!8
allpages generator
Code
Review changes
Check out branch
Download
Email patches
Plain diff
Merged
Legoktm
requested to merge
mwbot-main
into
main
Dec 31, 2022
Overview
0
Commits
2
Pipelines
6
Changes
1
Implement Default for FilterRedirect
Switch namespace to u32, since it needs to be a real one
Re-submission of
!7 (closed)
.