I accidentally forgot to include a .gitignore file when pushing an existing local git repository to Bitbucket. As a result, a large amount of unwanted .aux files appears on the remote repository.
Deleting them directly on Bitbucket is at best going to take a long time. Is there any good way to do this locally? Or is there a safe way to essentially "start over" so that I can include the .gitignore file?
Also, for whatever reason the .aux files are nowhere to be found in my local files. They just appeared on Bitbucket after I did my initial push.
I am a novice with git, so explicit solutions are especially appreciated.
UPDATE: Unfortunately, I didn't manage to solve the problem with any of the proposed solutions (which I am grateful for). I ended up just copying my files and then reverting the initial commit. I then copied the files back to the original directory. Finally, I re-pushed them with the .gitignore file included this time.