Skip to content

Commit

Permalink
Extend merge for sail
Browse files Browse the repository at this point in the history
  • Loading branch information
AMDmi3 committed Nov 8, 2023
1 parent 76a1abd commit 7ceb334
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion 800.renames-and-merges/s.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@
- { setname: sagemath-elliptic-curves, name: [elliptic-curves,sage-data-elliptic-curves,sagemath-database-elliptic-curves] }
- { setname: sagemath-graphs, name: [graphs,sagemath-database-graphs,sage-data-graphs] }
- { setname: sagemath-polytopes-db, name: [polytopes-db, sage-data-polytopes-db, sagemath-database-polytopes] }
- { setname: sail, name: libsail }
- { setname: sail, name: [libsail, python:sailed.io] } # different projects, split in 850
- { setname: salome, name: [salome-geom,salome-gui,salome-hexablock,salome-kernel,salome-med,salome-medcoupling,salome-netgenplugin,salome-paravis,salome-smesh,salome-yacs], addflavor: true }
- { setname: salt, name: "python:salt" }
- { setname: salt, name: [salt-api,salt-master,salt-minion,salt-py3,salt-syndic,saltminion], addflavor: true }
Expand Down

0 comments on commit 7ceb334

Please sign in to comment.