On 5/17/2013 8:13 AM, Ville M. Vainio wrote:
That can be arranged ;-)

Out of curiosity, Ville, do you know of any way to automatically push a commit to a git repo when a bzr repo is updated? I'm thinking update hooks, but those are either per-user, or branches could mess with them.

Or, I could totally just script something on my server that does a nightly pull from launchpad and pushes to github.

-->Jake
On Fri, May 17, 2013 at 3:08 PM, Edward K. Ream <[email protected] <mailto:[email protected]>> wrote:

    On Fri, May 17, 2013 at 2:59 AM, Ville M. Vainio
    <[email protected] <mailto:[email protected]>> wrote:

        Someone may be interested in investigating a free CI system
        for Leo:

        https://travis-ci.org/


    Thanks for the link.  Looks like we would need a github repo.

    Edward
-- You received this message because you are subscribed to the Google
    Groups "leo-editor" group.
    To unsubscribe from this group and stop receiving emails from it,
    send an email to [email protected]
    <mailto:leo-editor%[email protected]>.
    To post to this group, send email to [email protected]
    <mailto:[email protected]>.
    Visit this group at
    http://groups.google.com/group/leo-editor?hl=en-US.
    For more options, visit https://groups.google.com/groups/opt_out.



--
You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/leo-editor?hl=en-US.
For more options, visit https://groups.google.com/groups/opt_out.



--
You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/leo-editor?hl=en-US.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to