I made a mistakes and now I can't fix it. I have pushed an useless directory in my github repository, then I deleted it and repush the new version of my project. The problem is that the directory is still here in github WebUI but not when I pull (already up to date, and my local project doesn't have the useless directory).
This is a screenshot of my github web interface
The dir is l3miage-bdsi-G01
Thanks