Git Flow report tool to show which feature branches have been merged into develop