Skip to content

Move development documentation to CONTRIBUTING.md #13

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
May 5, 2021
Merged

Conversation

per1234
Copy link
Contributor

@per1234 per1234 commented May 5, 2021

This information is not of interest to those who only want to use the action, so it is not appropriate for the readme.

@per1234 per1234 added topic: documentation Related to documentation for the project type: enhancement Proposed improvement labels May 5, 2021
@per1234 per1234 requested review from silvanocerza and umbynos May 5, 2021 07:04
This information is not of interest to those who only want to use the action, so it is not appropriate for the readme.
@per1234 per1234 merged commit 3b5b449 into main May 5, 2021
@per1234 per1234 deleted the dev-docs branch May 5, 2021 22:09
@per1234 per1234 self-assigned this Nov 20, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: documentation Related to documentation for the project type: enhancement Proposed improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants