-
Notifications
You must be signed in to change notification settings - Fork 160
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
some release notes entries for 4.11.1 #4256
Conversation
Codecov Report
@@ Coverage Diff @@
## master #4256 +/- ##
==========================================
- Coverage 82.01% 79.61% -2.41%
==========================================
Files 686 636 -50
Lines 296678 271899 -24779
==========================================
- Hits 243318 216465 -26853
- Misses 53360 55434 +2074
|
0578a6f
to
46011df
Compare
There's a typo in one of the commit messages, where it says 4.1.11 instead of 4.11.1 -- but that's hardly important ;-) |
|
||
- Up to now, also the labels `release notes: needed` and `release notes: added` have been used. | ||
The first one means that the text for release notes can be found in the body and has not yet been added to `CHANGES.md`, the second one means that the text has been added to `CHANGES.md`. | ||
I think that these two labels are obsolete in the new workflow where one can automatically create the current state of the `CHANGES.md` section about the forthcoming release **at any time**. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yes, I think so too. Maybe we should delete them or replace them by "release notes: needed (please don't use this label anymore. See #4256)" such that everybody can see the new workflow.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is a good idea. If nobody objects then we should proceed like this.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I don't understand how the new process renders these labels obsolete. How do you distinguish between a PR that nobody has looked at yet from one where the title alone is not suitable for the release notes or from one that is not supposed to go into the release notes?
Also, how would the script distinguish between PRs that are already in the release notes of a previous release from those which are not? One could try to use a date for this, but in the past, this didn't work well (granted, that was before we used the policy of always merging into master and then doing backports and using the backport labels, so perhaps nowadays it works -- but I'd be at least careful about making this assumption...
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@fingolfin Concerning the distinction of pull requests w.r.t. release notes via labels, I think that what you ask for corresponds to release notes: approved
, meaning that "someone has looked at this pull request, and it is ready for being processed automatically". (One could even evaluate whether the approval was added by the same person who added the label that marks the pull request as relevant for the release notes.)
Concerning the assignment of pull requests to releases, it will be possible to check that a pull request is not mentioned in the (Json format?) text files that list the release notes of earlier releases.
dev/release_notes.readme.md
Outdated
Thus the release notes are composed from all those merged pull requests that belong to the release in question (are assigned to the release branch or have a `backport-to-...-DONE` label for the release) AND do NOT have the label `release notes: not needed`. | ||
|
||
- For pull requests with the label `release notes: use title`, the text for the release notes is given by the title of the pull request. | ||
For all other pull requests, the text for the release notes can be extracted from the pull request body. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is not done automatically yet. The easiest solution should be the following one at the moment:
If the description for the release notes is short enough, it should be the title and the PR should include the label "release notes: use title". So we do not use the "Text for release notes:" section here.
If a description is too long for the title, e.g. because too many different topics are addressed, there should be a label: "release notes: dont use title" such that the script gives us this PR for manual viewing.
Maybe we can try to expand the script at the next GAP Days such that we also get the text from PRs. We could then try to mark the release notes text for the script using certain start and end strings. E.g. :
ReleaseNotesScript_StartPoint
Text for the release notes......
ReleaseNotesScript_EndPoint
- Concerning the ordering, I think that somebody who reads the release notes of a new GAP version will be first interested in highlights, then in bugs which may affect one's computations (wrong results), then in removed functionality (which may break old private code), then in general improvements. | ||
|
||
I think there is no way to satisfy all perspectives of what is most important, in particular concerning the `topic: ...` labels. | ||
Note that `CHANGES.md` is just **one** way to present the changes, eventually we should put the source data (pull request number, release notes text, labels) into the GAP distribution, and provide a tool for evaluating the data inside a GAP session. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
If we start a PR for this, we should add a link here.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think that as soon as we have the files with the data list(s) and the GAP function (most likely in the dev
directory of the main GAP directory), we should mention these files.
- Otherwise, try to find a short title that describes the pull request in the release notes; use appropriate maarkup in the title (e.g., backquotes for surrounding function names). In this case, add the label `release notes: use title`. | ||
|
||
- Otherwise, make sure that the body of the pull request contains the relevant text below the line `## Text for release notes`. | ||
(In the old workflow, the label `release notes: needed` should be added. I think this should be abolished.) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Instead of "release notes: dont use title" we can also use "release notes:needed" as suggested by Thomas here. Then we only have to delete the "release notes: added" label.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think we need only two labels to define which pull requests appear in the release notes, and what is the text that is shown:
release notes: not needed
for pull requests which shall not be mentioned in the release notes,release notes: use title
for pull requests which shall be mentioned in the release notes AND for which the text for the release notes is given by the title.
Then the pull requests without these labels are those which shall be mentioned in the release notes AND for which the text for the release notes can be found in the body.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Even with the automation, I think it is not realistic to expect that all PRs will always have the right labels and/or a good release not text (be it in the title or label). So I still expect that as we ramp up for a release, one or more dedicated people will go through PRs to "get them into shape" in that regard. For this process, I think it will still be useful to be able to distinguish between "unprocessed" PRs, and those which already have been taken care of (i.e. either have a good title and the "use title" label; or have a good text in the body, and some label indicating that; or are not needed for the release notes)
- Otherwise, make sure that the body of the pull request contains the relevant text below the line `## Text for release notes`. | ||
(In the old workflow, the label `release notes: needed` should be added. I think this should be abolished.) | ||
|
||
- Choose as many suitable (release notes relevant) labels as you want. Keep in mind that the pull request will appear just in the first applicable group of pull requests in `CHANGES.md`. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
After discussing the last idea from #4257, maybe this can be added here.
@@ -0,0 +1,102 @@ | |||
# How to produce release notes for GAP essentially automatically |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Maybe we can make a short summary at the beginning of how to deal with PR in the future if somebody do not want to know the reason or explanations for the changes.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@danielrademacher Sorry, I do not catch the point. What do you suggest to add where in this file?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The text here is excellently written, summarizes all the important points from the GAP Days and provides a great overview for the future process. I just thought that for someone who would like to join the GAP community from scratch or maybe just want to start a PR, a short summary of how the labels should be dealt with would be helpful. When I think back to my first GAP Days, I was partially overwhelmed by all the processes and details. It was just an idea to possibly simplify the start.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@ThomasBreuer updated the .github/pull_request_template.md
file and added such a brief summary, I think that does it? Other than that, I think people who submit PRs need not worry much about labels, it is people who merge PRs who need to worry about it (and perhaps request help from the PR authors, with instructions).
That said, I guess we still do need a text somewhere which summarizes which labels to use how, targeted at the group of people who want to / are supposed to review/triage/manage/merge PRs. But doing so goes beyond this PR, so I don't expect Thomas to add it here. But @danielrademacher feel free to open an issue requesting that and/or a PR starting such a file (it can be incomplete, and me and others can add more data to it in review comments for the PR, or after it got merged).
Related: issue #3381
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Sorry, I didn't see the file .github/pull_request_template.md
. The changes are great, that's exactly what I was thinking of. Thank you!
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I support what you've written here. I have only a few grammatical rermarks.
dev/release_notes.readme.md
Outdated
|
||
- For pull requests with the label `release notes: use title`, the text for the release notes is given by the title of the pull request. | ||
For all other pull requests, the text for the release notes can be extracted from the pull request body. | ||
(The pull request template contains `## Text for release notes`, thus the relevant text is expected there; but where is the end of this text? We have to define a convention to mark the release notes text, then this text can be extracted automatically.) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Exactly. At that time, it was not envisaged that the we will automatically retrieve and process the PR description. We should be able to do this now, but a marker for the end of the text will be desirable.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yes. I will extend the pull request template.
CHANGES.md
Outdated
### New packages redistributed with GAP | ||
|
||
|
||
### Updated packages redistributed with GAP | ||
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@alex-konovalov can you provide the missing data here?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
We should perhaps also highlight the data fix in the smallgrp package, see release notes at https://github.com/gap-packages/smallgrp/blob/master/CHANGES.md
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
What about generally adding a link to the CHANGES.md
files (if applicable) of updated and new packages?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Maybe also mention the new release of CTblLib (@ThomasBreuer what do you think?) and TransGrp which now provides representatives for all transitive permutation groups of degree at most 47 (@hulpke is that correct?)
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
for n in RecNames(old) do
if not IsBound(new.(n)) then Print(old.(n).PackageName, " REMOVED\n"); continue; fi;
if old.(n).Version <> new.(n).Version then
Print(new.(n).PackageName, ": ", old.(n).Version, " -> ", new.(n).Version, "\n");
fi;
od;
This currently gives me this (I can change the format which is being output easily)
GAPDoc: 1.6.3 -> 1.6.4
4ti2Interface: 2019.09.02 -> 2020.10-02
AutoDoc: 2019.09.04 -> 2020.08.11
Browse: 1.8.8 -> 1.8.11
CAP: 2019.06.07 -> 2020.10-01
CddInterface: 2020.01.01 -> 2020.06.24
ExamplesForHomalg: 2019.09.02 -> 2020.10-02
Gauss: 2019.09.02 -> 2020.10-02
GaussForHomalg: 2019.09.02 -> 2020.10-02
GeneralizedMorphismsForCAP: 2019.01.16 -> 2020.10-01
GradedModules: 2020.01.02 -> 2020.10-02
GradedRingForHomalg: 2020.01.02 -> 2020.10-02
HomalgToCAS: 2019.12.08 -> 2020.10-02
IO_ForHomalg: 2019.09.02 -> 2020.10-02
LinearAlgebraForCAP: 2019.01.16 -> 2020.10-01
LocalizeRingForHomalg: 2019.09.02 -> 2020.10-02
MatricesForHomalg: 2020.01.02 -> 2020.10-04
ModulePresentationsForCAP: 2019.01.16 -> 2020.10-01
Modules: 2019.09.02 -> 2020.10-02
MonoidalCategories: 2019.06.07 -> 2020.10-01
NConvex: 2019.12.10 -> 2020.11-04
NumericalSgps: 1.2.1 -> 1.2.2
PackageManager: 1.0 -> 1.1
PolymakeInterface REMOVED
RingsForHomalg: 2019.12.08 -> 2020.11-01
SCO: 2019.09.02 -> 2020.10-02
SmallGrp: 1.4.1 -> 1.4.2
ToolsForHomalg: 2019.09.02 -> 2020.10-03
ToricVarieties: 2019.12.05 -> 2021.01.12
XMod: 2.77 -> 2.82
XModAlg: 1.17 -> 1.18
CTblLib: 1.2.2 -> 1.3.1
curlInterface: 2.1.1 -> 2.2.1
Digraphs: 1.1.1 -> 1.3.1
ferret: 1.0.2 -> 1.0.3
HAP: 1.25 -> 1.29
homalg: 2019.09.01 -> 2020.10-02
IRREDSOL: 1.4 -> 1.4.1
json: 2.0.1 -> 2.0.2
kan: 1.29 -> 1.32
matgrp: 0.63 -> 0.64
Polycyclic: 2.15.1 -> 2.16
PrimGrp: 3.4.0 -> 3.4.1
profiling: 2.2.1 -> 2.3
QPA: 1.30 -> 1.31
Semigroups: 3.2.3 -> 3.4.0
singular: 2019.10.01 -> 2020.12.18
TransGrp: 2.0.5 -> 3.0
Wedderga: 4.9.5 -> 4.10.0
AGT: 0.1 -> 0.2
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Nice, saved my time, was about doing the same :) We may only count in the CHANGES the number of updated packages, like before, or put there this full list, I don't have a preference... Although adding it here will already have it ready for the release announcement.
So, seems we have all we need for the packages section.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
TransGrp which now provides representatives for all transitive permutation groups of degree at most 47 (@hulpke is that correct?)
Yes, but if we mention this, we should credit this list of groups to Derek Holt.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@fingolfin could you please order packages alphabetically in the output?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@ThomasBreuer what I meant above asking whether to mention CTblLIb: there were many packages updated, but I thought of mentioning only essential updates in data libraries. Here we have SmallGrp and TransGrp worth mentioning already, and there is an update CTblLib: 1.2.2 -> 1.3.1 ready for the new release, so is there anything in it worth highlighting?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@alex-konovalov see the sorted list proposed in a comment below, and in the latest version of CHANGES.md
in this branch
Concerning the question of package highlights, I think the only fair way to get this information would be to ask the authors/maintainers; I would not claim to say which new package versions do not have any highlight.
As for CTblLib, the list of news is quite long, I think that one short sentence in the GAP release notes of the kind "a few fixed bugs, new data, new functionality" will not be helpful.
(Would it make sense to support a new optional field in PackageInfo.g
that contains a description of highlights, which can be added automatically to the GAP release notes?)
<!-- | ||
|
||
The following is an unstructured list of all those merged pull requests | ||
for GAP 4.12.0 until February 17th, 2021, that are relevant for release notes. | ||
The label "release notes: added" has already been attached to them. | ||
|
||
### New features and major changes |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Reminder: when we backport this to stable-4.11, don't forget to remove this section
... colected by Paula, Daniel, and Thomas; currently unstructured
Thus the entries that are valid for the GAP 4.12.0 release notes are currently commented out in `CHANGES.md`. The entries for GAP 4.11.1 have been assigned to appropriate categories. The information on the new/updated packages is still missing.
... to the conventions described in issue gap-system#4257: Each pull request should appear only once in the release notes, according to a hierarchical ordering defined by its labels. (I have also added some markup to a few entries.)
What is **missing**, concerning the new file `release_notes.readme.md`: - definition of the convention which part of the pull request body defines the release notes text, - the script for extracting the set of relevant pull requests (number, text, labels), as a file in the `dev` directory - conversion of these data to a section of `CHANGES.md` (can be done with GAP) - decision how to deal with the labels `release notes: to be added` and `release notes: added` in the future - provide a Browse function for visualizing release notes data (I have a prototype)
- gap-system#3925 belongs to 4.12.0 not 4.11.1, - gap-system#4053 now belongs to `topic: julia`, not to `kind: bug: crash` - removed a superfluous "in"
6db0559
to
98ca5c6
Compare
CHANGES.md
Outdated
|
||
These changes are also listed on the | ||
[Wiki page](https://github.com/gap-system/GAP/wiki/gap-4.11-release-notes) | ||
[Wiki page](https://github.com/gap-system/gap/wiki/GAP-4.11-release-notes) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Actually, you know what? I'd remove this paragraph pointing to the Wiki completely. Then we also don't need to remember this Wiki page; we only used it in the past to help us coordinate the creation of release notes; but now that they are in a CHANGES.md within the GAP repository itself, there is no need, and being forced to update it just creates work with no obvious benefit?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is a good idea.
@@ -0,0 +1,102 @@ | |||
# How to produce release notes for GAP essentially automatically |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@ThomasBreuer updated the .github/pull_request_template.md
file and added such a brief summary, I think that does it? Other than that, I think people who submit PRs need not worry much about labels, it is people who merge PRs who need to worry about it (and perhaps request help from the PR authors, with instructions).
That said, I guess we still do need a text somewhere which summarizes which labels to use how, targeted at the group of people who want to / are supposed to review/triage/manage/merge PRs. But doing so goes beyond this PR, so I don't expect Thomas to add it here. But @danielrademacher feel free to open an issue requesting that and/or a PR starting such a file (it can be incomplete, and me and others can add more data to it in review comments for the PR, or after it got merged).
Related: issue #3381
and fixed a typo
35517d4
to
3453b12
Compare
CHANGES.md
Outdated
### New packages redistributed with GAP | ||
|
||
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
According to @alex-konovalov there were no new packages. So either we drop this section ...
### New packages redistributed with GAP |
or we say it, e.g.
### New packages redistributed with GAP | |
### New packages redistributed with GAP | |
There are no new packages in this GAP release. | |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I would omit the empty section, in the same way as we omit empty categories of pull requests. (If we say that there are no new packages, we should also say that no packages were left out that had been distributed before.)
There are definitely some updated packages in 4.11.1. If someone tells me which archive of packages will be used for the release, I can make a list and add it to CHANGES.md
.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Sorry, I was wrong. There are new packages. Details to follow.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
So, we had 152 packages in GAP 4.11.0, and 151 in the current merged packages archive, so we are down one package. Looking at homalg-project/homalg_project#221 and the history of revisions of https://github.com/gap-system/gap-distribution/commits/master/DistributionUpdate/PackageUpdate/currentPackageInfoURLList, I've restored this: @mohamed-barakat said we need to remove "PolymakeInterface and Convex from the future GAP distribution. They are now replaced by NormalizInterface and NConvex." Convex was withdrawn yet in GAP 4.11.0, and now the other package is withdrawn too. In the release notes we can say something like:
"Following the withdrawal of Convex in GAP 4.11.0 because of being superseded by NConvex, the PolymakeInterface had also been withdrawn. These two packages are now replaced by NormalizInterface and NConvex."
(I am not sure of there is a 1-to-1 replacement, or a combination of packages replaces another combination of packages).
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@alex-konovalov I've uploaded a package-info.json.gz
retroactively to https://github.com/gap-system/gap/releases/tag/v4.11.0 and compared it to one made in preparation for a new release. I did not see any new packages, but the PolymakeInterface
package appears to have been removed?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The packages Convex
and PolymakeInterface
have been deleted some time ago from the homalg_project
repository as well.
54c707e
to
32f40b9
Compare
@alex-konovalov I do not understand what you mean with
A new version will become available, thus it has to be listed, or do we have a criterion of "omit package updates from release notes"? |
@alex-konovalov @fingolfin My first approximation of the packages section(s) for Packages no longer redistributed with GAPPolymakeInterface: Following the withdrawal of the package Convex in GAP 4.11.0 because of being superseded by NConvex, the PolymakeInterface has also been withdrawn. These two packages are now replaced by NormalizInterface and NConvex. Updated packages redistributed with GAP4ti2Interface: 2019.09.02 -> 2020.10-02 This format can be obtained from the above list
How shall some hand-edited "package highlights" (SmallGrp, TransGrp) be mentioned? |
https://homalg-project.github.io/ToricVarieties_project/ToricVarieties/ |
Yes, @mohamed-barakat, good point, the links should be produced from the |
@alex-konovalov
The list appears to contain "XMod <https://gap-packages.github.io/xmod/>
: 2.77 -> 2.82".
Can version 2.83 not be included?
|
@cdwensley the table at https://github.com/gap-system/gap/wiki/Package-updates-status shows Xmod 2.83, it has been picked up. But the list above shows packages at https://github.com/gap-system/gap-distribution/releases updated some time before. That archive is better tested and, although it's tempting to flush package update system and include all latest, we should not do so in a rush. After the proper exercise with new release process, we should be able to release as often as before again, and then pick up new packages, in the meantime at least helping to more packages to restore their CI using GH actions and (maybe) even have new Docker-based package tests like we had before in Travis times... |
to the list of updated packages in `CHANGES.md`, and corrected the link to the homepage of ToricVarieties
Everything should be here: https://github.com/homalg-project/ToricVarieties_project/releases/ |
@mohamed-barakat I think @ThomasBreuer asks not about your package archive, but for merged package archives (we also call them bootstrapping archives) at https://github.com/gap-system/gap-distribution/tags used for the release. Otherwise they may be out of sync. |
I don't understand the difference, maybe because by now we provide all of our package archives which are picked up by the GAP distribution system as GitHub releases. Martin is probably using a different mechanism (see homalg-project/PackageJanitor#64). In any case, according to https://homalg-project.github.io/ToricVarieties_project/ToricVarieties/PackageInfo.g |
@mohamed-barakat the difference is that there is a delay between when a package is released, and when we pick it up for redistribution in the GAP package distribution (which is also used as "bootstraping archive" but I's not use this term except when talking about the GAP build system). in addition to the delay (which can be days or weeks, depending on when the update job runs), we may also reject package updates, when they fail to validate, or roll back to older versions if the new version introduces regressions in the GAP test suite. |
I see, thanks Max. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I am going to merge this now; the release notes look good; and release_notes.readme.md
can still be edited later if needed.
The file
CHANGES.md
now contains the entries about the merged pull requests for GAP 4.11.1, categorized in the same way as for GAP 4.11.0.What is now MISSING is the information about new and updated GAP packages in 4.11.1, compared to 4.11.0.
... currently unstructured, taken from the subset of pull request obtained today with the queryhttps://github.com/gap-system/gap/pulls?q=is%3Apr+-label%3A%22release+notes%3A+not+needed%22+-label%3A%22release+notes%3A+added%22+is%3Aclosed+merged%3A2019-09-10..2033-12-31+base%3Amaster+is%3Amerged(It remains to deal with the entries which are still returned by this query. Those entries which are proposed here for addition toCHANGES.md
do no longer match the query because now they have the label "release notes: added".)