Skip to content

fix: delete obsolete *diff-to-api.github.com* files#307

Merged
gr2m merged 2 commits intomainfrom
306/clear-generated-folder
Oct 12, 2022
Merged

fix: delete obsolete *diff-to-api.github.com* files#307
gr2m merged 2 commits intomainfrom
306/clear-generated-folder

Conversation

@gr2m
Copy link
Copy Markdown
Contributor

@gr2m gr2m commented Oct 12, 2022

closes #306

@gr2m gr2m linked an issue Oct 12, 2022 that may be closed by this pull request
@gr2m gr2m added the Type: Maintenance Any dependency, housekeeping, and clean up Issue or PR label Oct 12, 2022
@gr2m gr2m merged commit a89750d into main Oct 12, 2022
@gr2m gr2m deleted the 306/clear-generated-folder branch October 12, 2022 21:47
@octokitbot
Copy link
Copy Markdown
Contributor

🎉 This PR is included in version 8.0.1 🎉

The release is available on:

Your semantic-release bot 📦🚀

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Type: Maintenance Any dependency, housekeeping, and clean up Issue or PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

clear generated/ folder before (re-)creating the files

2 participants