It may be useful to have a separate Jenkins job for building the master branch, as the status of the develop branch is not closely related to it with git-flow.
Peter On 1 October 2013 12:14, Apache Jenkins Server <jenk...@builds.apache.org> wrote: > See <https://builds.apache.org/job/Marmotta/220/changes> >