Github confusion / clarification

Github confusion / clarification

I sense that I may be missing something very basic, and I hope someone has some GitHub insight to share.

I'm working on a widget that may be similar, in many ways, to jquery.ui.panel.js which Jörn is currently working on for a subsequent release.

I can see that Jörn posted an update to panel ( http://is.gd/aTs32 ) but, Lord be my witness, I can't find ui/jquery.ui.panel.js either in the jQuery-ui repository or in Jörn's fork. I can see the file here: ( http://is.gd/aTscN ) but I can't find it when I browse the trees starting from a ui/ folder root.

In other words, the panel widget file is not here ( http://github.com/jquery/jquery-ui/tree/master/ui/ ) and not here ( http://github.com/jzaefferer/jquery-ui/tree/master/ui/ ) either.

What I really want to do is regularly git-pull jquery.ui.panel.js locally and follow-it along through its development.

Can someone explain this to me? These recent commits are waiting for a merge, perhaps? That would be my guess.  But it's a new file, and there doesn't seem to be any git-pull'able version of it anywhere.

Stumped.

**--**  Steve