Skip to content

Commit

Permalink
Merge/split spr (from report)
Browse files Browse the repository at this point in the history
  • Loading branch information
AMDmi3 committed Dec 4, 2023
1 parent 72d3200 commit f678047
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 0 deletions.
1 change: 1 addition & 0 deletions 800.renames-and-merges/s.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -280,6 +280,7 @@
- { setname: spotify, name: [spotify-stable,spotify094] }
- { setname: spotify, name: spotify-client, addflavor: client }
- { setname: spotify-dl, name: "python:spotify-dl" }
- { setname: spr, name: rust:$0 }
- { setname: spring, name: springrts }
- { setname: springframework, namepat: "spring-?framework[0-9]*" }
- { setname: springframework, name: [libspring-java,"java:spring"] }
Expand Down
4 changes: 4 additions & 0 deletions 850.split-ambiguities/s.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -417,6 +417,10 @@
- { name: spotify-dl, wwwpart: invicnaper, setname: spotify-dl-invicnaper }
- { name: spotify-dl, addflag: unclassified }

- { name: spr, sourceforge: statpatsec, setname: spr-pattern-recognition }
- { name: spr, wwwpart: getcord, setname: spr-pull-requests }
- { name: spr, addflag: unclassified }

- { name: spt, wwwpart: pickfire, setname: spt-timer }
- { name: spt, addflag: unclassified }

Expand Down

0 comments on commit f678047

Please sign in to comment.