Well, it's too early to know the new direction of Github, and I don't really think that Microsoft will mess up Github (at least not in the short-mid term).
But anyway I like the idea of leave github for gitlab based the following reasons:
* Github is not open source, GitLab is.
* GitLab uses and promotes PostgreSQL, a perfect match to a PostgreSQL project.
* Big projects like GNOME choose GitLab.
* A more integrated CI and CD.
The only issue I see is that all the travis jobs must be "ported" to gitlab-ci.yml (which might be easy or difficult since pgjdbc uses some tweaks in jobs).
There is already a project on gitlab if we want to leave github.
I'm not suggesting we do, but if things go south with the new owner we may want to consider it
