Ask HN: How much do you think this domain is worth?

I bought the domain name, GitPush.com, about two years ago with plans of making a git push web hosting service. After a lot of thought, i decided against it but kept hold of the domain.

Now i'd like to sell it on and am curious to know how much it could be worth.

I did a quick check on google keyword tool and have seen that the term 'git push' gets over 90k searches a month with low competition. My guess is that, that should make it work atleast $5k, along with the brandability of it.

Am i wrong here? I don't know much about domaining.

Would like hear your opinions?