fatal: Not a git repository: '/home/user/android/.repo/projects/external/fdlibm.git'
solution:
rm -rf /home/user/android/.repo/projects/external/fdlibm.git
I've also tried "git init" and "git init-db" on the same directory but got no success.
