[Koha] Documentation Mirror on Github

[Galen Charlton]

Hi,

On Fri, Mar 20, 2015 at 10:30 AM, Galen Charlton <gmc at esilibrary.com> wrote:
>
> On Fri, Mar 20, 2015 at 10:28 AM, Nicole Engard <nengard at gmail.com> wrote:
>
>> I'm not sure who manages the git repos so I'm sending this out to all.
>> The
>> Koha repository on Github (https://github.com/Koha-Community/Koha) is
>> updating regularly with new commits, I'd like the same for the
>> documentation repository (https://github.com/Koha-Community/kohadocs).
>
>
> I'll get that set up.
>

This is set up.  For future reference, here's the significant bit of the
post-receive hook I put in place for git.koha-community.org/kohadocs:

# This has to come first, as if something goes wrong in the email it exits.
if [ -x "$GIT_DIR/hooks/post-receive-push" ]; then
    echo "Pushing to other remotes (in background)"
    nohup $GIT_DIR/hooks/post-receive-push > /dev/null 2>&1 &
fi

. /usr/share/doc/git-core/contrib/hooks/post-receive-email

And the post-receive-push script referenced by it:

git push --mirror git at github.com:Koha-Community/kohadocs.git

Regards,

Galen
-- 
Galen Charlton
Infrastructure and Added Services Manager
Equinox Software, Inc. / The Open Source Experts
email:  gmc at esilibrary.com
direct: +1 770-709-5581
cell:   +1 404-984-4366
skype:  gmcharlt
web:    http://www.esilibrary.com/
Supporting Koha and Evergreen: http://koha-community.org &
http://evergreen-ils.org