@hexdream You can change port using command line arguments.
java -jar gitbucket.war --port=1234
has_wikiproperty but that is not included in the data returned by GB when getting repo info.
You can skip a build by including specific words in the commit message. Moreover you can also re-run the pull request build by adding a comment including specific words. These words can be set at the build settings.
has_wikiproperty might be a good idea.
GITBUCKET_HOMEor a system property
gitbucket.homeas described in this doc: https://github.com/gitbucket/gitbucket/wiki/Basic-configurations