publish: Merge pull request #6 from CampusPI/port

generated from commit 47d4a2bd32649e6b9cb0268eced62ac7b15fe5fa