@@ -45,7 +45,7 @@ to go about this that ensure we will still be able to pick up updates:
45
45
46
46
There are several options how to do this.
47
47
48
- 1 . Submit an issue to this repository, requesting that your package be added.
48
+ 1 . ( ** RECOMMENDED ** ) Submit an issue to this repository, requesting that your package be added.
49
49
Make sure to include a link to the ` PackageInfo.g ` file of your package.
50
50
Note that such requests are visible to the anyone watching this repository.
51
51
@@ -54,11 +54,6 @@ There are several options how to do this.
54
54
Note that such requests are visible to only to a small group of people listed
55
55
[ on this web page] ( https://www.gap-system.org/Contacts/People/supportgroup.html ) .
56
56
57
- 3 . Open a pull request to this repository manually: first run the script
58
- ` tools/import_packages.py URL_OF_PACKAGEINFO_G ` with a list of one or more
59
- URLs of PackageInfo.g files for the packages to be added. The script will
60
- download and parse each of them
61
-
62
57
In either case, we will evaluate your request and will inform you about the
63
58
outcome of that (which may be: accept, accept after modifications, reject).
64
59
@@ -79,9 +74,8 @@ as follows:
79
74
1 . Go to < https://github.com/gap-system/PackageDistro/actions/workflows/scan-for-updates.yml >
80
75
2 . Click "Run workflow" once to open a popup menu. There is a field there accepting
81
76
a space separated list of ` PackageInfo.g ` URLs. Do so.
82
- 3 . Click on the new green "Run workflow" button to actually trigger the workflow
83
- 4 . You can now follow this action, it should only run for about 5 minutes, and will
84
- create a new pull request for each package you listed.
77
+ 3 . Click on the new green "Run workflow" button to actually trigger the workflow.
78
+ 4 . After 2-3 minutes this should create a new pull request for each package you listed.
85
79
86
80
Once the PR is created, a bunch of CI tests are started. Once they are completed,
87
81
a report is added to the PR which indicates whether the new package breaks something
0 commit comments