Trim leading
@
in user ids in
do()
requests paths
Code
Review changes
Check out branch
Open in Workspace
Download
Patches
Plain diff
Expand sidebar
Trim leading @ in user ids in do() requests paths
Timo Furrer
requested to merge
more-do-requests
into
main
Feb 04, 2026
Overview
4
Commits
1
Pipelines
3
Changes
5
Merge request reports
Loading