On Sun, Nov 28, 2021 at 1:06 PM Markus Neteler <nete...@osgeo.org> wrote:
> On Wed, Nov 24, 2021 at 2:10 PM Veronica Andreo <veroand...@gmail.com> > wrote: > > For populating this page I usually use "git log": > > # GRASS GIS 7.0.0 release on 2015-03-20 > git log --oneline --after="2015-03-20" | cut -d' ' -f2- | sed 's+^+ * > G80:+g' | sed 's+(#+(PR:+g' | sort -u > You could also use GitHub CLI to get merged PRs with milestone 8.0.0: gh pr list --search "milestone:8.0.0" --state merged --limit 100 This gives 93 PRs. Unfortunately, we also have PRs with no milestone which is 919 items: gh pr list --search "no:milestone" --state merged --limit 100
_______________________________________________ grass-dev mailing list grass-dev@lists.osgeo.org https://lists.osgeo.org/mailman/listinfo/grass-dev
