tree 70b2d6a96a4136c28c27642fd3b6cf3fddbe9784
parent 7953fe154fe14d2fe388710fa8d7043498b9000c
author Paladox none <thomasmulhall410@yahoo.com> 1489851348 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1489875281 +0000

Make gitblit build the master branch instead of pull

Reason is the pull was merged so no longer need to pin to it.

Change-Id: Id4fcb50261e01aba9c3f0e0fe4b9f58cde64ea05