Move the PORTING file out of the doc dir
authorMark Wong <mark@2ndQuadrant.com>
Wed, 25 Jul 2018 01:01:17 +0000 (01:01 +0000)
committerMark Wong <markwkm@gmail.com>
Wed, 25 Jul 2018 22:17:29 +0000 (15:17 -0700)
The PORTING file is meant for developers, not for how to use the
extension.

PORTING [moved from doc/PORTING with 100% similarity]

similarity index 100%
rename from doc/PORTING
rename to PORTING