Frank,
I read the related conversation on IRC today and you raised the concern of
creating too many
remotes in your local repository when applying pull requests from there.
Adding a remote only to apply a pull request is not really necessary and I
never do it. Instead I
pull the branch from t
Frank,
That’s correct. You must *never* push directly to the mirror repositories on
Github, nor may you use any of the Github merge or edit tools. Push only to
code and it will automatically update Github.
I think we can set up the GnuCash Github repositories so that only the special
user asso
A quick look at
https://lists.gnucash.org/pipermail/gnucash-patches/2017-July/date.html#start
shows only
gnucash-docs master: Multiple changes pushed Frank H.Ellenberger
There seems to be no hook, which pulls changes on github to code.
Together with my git remote configuration:
origin https://g
Hi all,
Dmitry watched, that his PRs disappeared from Maint after I merged them
in Master.
So, what happened?
He sent PR 100-104 to github
I pulled them via https://github.com/Gnucash/gnucash-docs/pull/...
sequently into maint, after each calling locally:
(with git checkout maint)
git pull
make
