I thought I only ever do a "push" to Github when I have files that compile. Also, I haven't been changing the master branch until I do a release, so that should have been consistent.ReSt wrote:So it's probably my fault when I'm having problems with the downloads. I'm used to make a "git clone" without any further selections on the clone window . Trying the selection "Branch = next" or "branch=master" did not get me really happy. Sometimes I get the old unchanged stuff and sometimes I get new stuff, that doesn't compile. So I assume, that the source code on github is not always in a consistent state.
If you have cloned the repository, you then need to select what you want in your working directory, e.g. "switch/checkout" to the latest.