Strange behavior of GitHub

Frank H. Ellenberger frank.h.ellenberger at
Wed Jul 26 17:28:01 EDT 2017

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
sequently into maint, after each calling locally:
(with git checkout maint)
 git pull
 make check

He watched, they did not appear in

I run yesterday locally
 git checkout master
 git merge maint
 make check
 git push

The guides in{de|ru}/ were regenerated
last night, while *.{epub|mobi|pdf} are still from 2017-07-01. But that
is a separate issue.

Today Dmitry informs me, his commits disappeared from maint on github.
On my machine I have now 21 unpushed commits in maint.

I am clueless, but remember before the last release also one commit

Does anybody whant to investigate in the current state or can I push
them now again?


More information about the gnucash-devel mailing list