You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
While converting the repository for the translation bot today, I noticed that the repository contained a lot of files that are not suitable for git versioning. I removed them but to ensure that they won't be committed again, the repository should have a .gitignore file. This file tells git to hide these files when making a commit. This PR adds such a file.
By the way, this is what I removed from some older commits during the conversion:
docs.zip. Files in the repository should be stored ucompressed.
solidity0.8.4.pdf and solidity_translate_pdf.
Built documentation under docs/_build/. These files are generated automatically from the .rst files and should not be committed.
docs/_static/robots.txt. This file is also created automatically when you build the docs.
__pycache__/ directories. These get created during compilation of Python code - the docs contain two small custom extensions written in Python.
Some of them already had commits deleting them from the current revision but this does not remove them from older revisions and they still take up space. Since I had to rewrite history anyway, I took the opportunity to remove them completely.
I have also deleted the old master branch, which had history completely disconnected from main and contained only very short index.html and style.css files. They haven't been touched in a long time and did not look like something that needs to be preserved.
In case you want to go back to any removed files for any reason, you can still access the original main branch, though I recommend deleting it if you have no issues with the end result of the conversion.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
While converting the repository for the translation bot today, I noticed that the repository contained a lot of files that are not suitable for git versioning. I removed them but to ensure that they won't be committed again, the repository should have a
.gitignorefile. This file tells git to hide these files when making a commit. This PR adds such a file.