I can't speak for companies that are using those tools internally (you can ask @danpodsedly who's using Pivotal Tracker in-house for example).

I know that for our development projects (www.xtremelabs.com) with F500 companies, we do use Pivotal Tracker and Github, and they are typically ok with it.