Skip to content

[CLOSED] Inconsistent report of branch HEAD position #6757

@core-ai-bot

Description

@core-ai-bot

Issue by zanerock
Monday Apr 14, 2014 at 16:00 GMT
Originally opened as adobe/brackets#7505


There seems to be a problem with github giving consistent reports about the branch head:

screen shot 2014-04-14 at 10 52 09 am

Notice the 'last commit'. But if I fetch that repo locally and then check the origin/task-796... head:

git rev-parse origin/topics-796-e221f943-5e22-44d1-9f65-c9fd1e197c27
fac79ffea39ed8dcdec3839511bc17e983d0bc15

The log (edited for brevity) as viewed from the local git cli is the same for both the local and remote branch (i.e.: git log task-796... and git log origin/task-796...

commit fac79ffea39ed8dcdec3839511bc17e983d0bc15
...
    added bar

commit 1120bd6ddbc0fb295e4339ea49c0d98bd5855535
...
    Initialized conveyor-workflow repo with README.repo file.

In my testing, the error happens about 1 in 20 to 1 in 60. It may have to do with github getting a PR request very quickly after the branch is pushed. (BTW, I'm not using hub myself). For now, when I detect the (possible) situation, I delete and re-add the branch. There appear to be times when the problem puts up with much greater consistency for a number of hours, then it becomes consistently rarer for a period. This may be an observation bias, but it did appear rather marked.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions