<div dir="ltr">Hi,<div><br></div><div>This is spin off Regina's proposal and Even's/thread's comments.</div><div><br></div><div>Move PostGIS development to github, and move tickets to github. Keep gitea and gitlab as mirrors, same as they currently are.</div><div><br></div><div>GDAL, QGIS have already landed on GitHub. Statistically most of development in PostGIS in last year happened there.</div><div><br></div><div>To move tickets to Github, there's a special process already implemented by Paul Ramsey:</div><div><a href="https://github.com/pramsey/postgis-to-github/">https://github.com/pramsey/postgis-to-github/</a>. </div><div><br></div><div>+1 (non-PSC). Comments/+1 from non-PSC welcome. <br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div>Darafei Praliaskouski</div><div>Support me: <a href="http://patreon.com/komzpa" target="_blank">http://patreon.com/komzpa</a></div></div></div></div></div></div>