Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

Perform HEAD instead of GET for HEAD #12

Merged
1 commit merged into from Jan 19, 2011

Conversation

Projects
None yet
2 participants
Contributor

mattstevens commented Jan 19, 2011

HEAD requests are sometimes handled differently from GETs so the distinction can be important.

Owner

micha commented Jan 19, 2011

Thanks! You're right about that. I merged your version into master. I don't remember why I did it that way.

This issue was closed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment