Greetings All, Does the bucardo github mirror get updated automatically when there is a commit to the main bucardo git repository? I'm asking since github makes it a lot easier to submit patches compared with sending an attached patchfile to the mailing list. Thanks, Ali