Using the github repo version of `bindgen` points to a very old version.

[pvdrz]

It is a common pattern to use the git repo of a dependency to try new features that have not been released yet. So it would be normal for users to add the following in their cargo manifest:

[build-dependencies]
bindgen = { git = "https://github.com/rust-lang/rust-bindgen" }

However that would actually fetch the HEAD branch whose last commit is from 2019. Users would have to add the following then:

[build-dependencies]
bindgen = { git = "https://github.com/rust-lang/rust-bindgen", branch = "main" }

Or even branch = "master". I wonder if there's a reason why this HEAD branch exist and if we should document how to use "the latest" bindgen somewhere.

cc @emilio @amanjeev @kulp

[amanjeev]

I am not sure why HEAD branch exists but it feels like one of those accidental pushes that might have created the branch. I use git push origin HEAD a lot. My hunch is that it can be deleted safely but I think since last person to push was @emilio , he has to chime in.

Meanwhile, if Emilio is out for longer, we can just rename the branch to something else so HEAD is reclaimed.

[pvdrz]

@emilio any thoughts?