Document how changelog maintenance works

[fingolfin]

This is still very much WIP but I wanted to put it here so @aaruni96 and me can work on it together.

We can liberally borrow from https://github.com/gap-system/gap/blob/master/dev/releases/README.release_notes.md if we want to.

[skip ci]

[fingolfin]

In practice I think this is the most critical section for our PR submitters (at least those who can set labels) and reviewers. So please everyone read and check this bit most carefully.

[thofma]

Are the labels set in stone? I have the half-serious suggestion of changing label: LieTheory to label: Lie theory.

[lgoettgens]

Are the labels set in stone? I have the half-serious suggestion of changing label: LieTheory to label: Lie theory.

Probably easier right now than later. I agree with your suggestion, but would leave the implementation details to @fingolfin

[thofma]

other things that could be consolidated:

topic: schemes
topic: toric schemes
topic: toric varieties
topic: algebraic geometry

Probably

topic: algebraic geometry

would be enough?

[BD-00]

Found some typos.

[fingolfin]

Thanks @BD-00 @SoongNoonien

I've rename the Lie theory label as suggested (I thought about it before as well but didn't want to do it without asking @lgoettgens ;-) ).

I'd be OK with merging some or all of the "toric varieties" / "toric schemes" / "schemes" / "algebraic geometry" labels, but this is something the @oscar-system/algebraic-geometry team should perhaps comment on (and also @HereAround @lkastner @paemurru and others...)

[afkafkafk13]

Thanks @BD-00 @SoongNoonien

I've rename the Lie theory label as suggested (I thought about it before as well but didn't want to do it without asking @lgoettgens ;-) ).

I'd be OK with merging some or all of the "toric varieties" / "toric schemes" / "schemes" / "algebraic geometry" labels, but this is something the @oscar-system/algebraic-geometry team should perhaps comment on (and also @HereAround @lkastner @paemurru and others...)

My purely personal opinion:
The toric and the non-toric algebraic geometry do not share the same algorithmic perspective, so I would hesitate to put everything into a single label. But I agree that 4 labels for this area is by far too many on the long run. My suggestion would be "toric geometry" and "algebraic geometry" -- this would leave us with 4 geometry labels (algebraic, polyhedral, toric and tropical). The topic "schemes" should become obsolete, as the core functionality of the schemes framework has reached a rather mature state and new development on schemes can now be covered under label of "algebraic geometry" without obstructing the view to other developments under this label.

[simonbrandhorst]

deleting the schemes and toric schemes topics is fine with me.