Merging this pull request will not in itself 𝕔𝕝𝕠𝕤𝕖 #76 , but it will prepare the repository contents for the actual rename operation which will close the issue.
("close" is written strangely above to prevent GitHub from interpreting "will not close" as "will close".)
forman
commented
8 months ago
Merging this pull request will not in itself 𝕔𝕝𝕠𝕤𝕖 #76 , but it will prepare the repository contents for the actual rename operation which will close the issue.
("close" is written strangely above to prevent GitHub from interpreting "will not close" as "will close".)