Skip to content
This repository has been archived by the owner on Sep 3, 2024. It is now read-only.

Scripts: clean issues script #63

Merged
merged 1 commit into from
Mar 4, 2022
Merged

Conversation

IoannisP-ITENG
Copy link
Contributor

Scripts: clean issues script

Description

Add helper script to clean github issues.
Uses github cli.

PR type

New feature (non-breaking change which adds functionality)

Checklist

Please read and execute the following:

  • My code follows the coding guidelines of this project
  • My PR title is following the contribution guidelines
  • I have performed a self-review of my own code
  • I have commented my code, particularly in hard-to-understand areas
  • I have made corresponding changes to the documentation (if applicable)
  • My changes generate no new warnings
  • I have added tests that prove my fix is effective or that my feature works (if applicable)
  • New and existing unit tests pass locally with my changes
  • Any dependent changes have been merged and published in downstream modules

Code of Conduct

By submitting this issue, you agree to follow our Code of Conduct:

Add helper script to clean github issues.
Uses github cli.
@IoannisP-ITENG IoannisP-ITENG added ⭐ goal: addition Addition of new feature 🟩 priority: low Low priority and doesn't need to be rushed ⛏️ area: tools Development tools labels Mar 4, 2022
@IoannisP-ITENG IoannisP-ITENG merged commit 52a70d8 into main Mar 4, 2022
@IoannisP-ITENG IoannisP-ITENG deleted the feature/script_clean_issues branch June 24, 2022 09:07
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
⛏️ area: tools Development tools ⭐ goal: addition Addition of new feature 🟩 priority: low Low priority and doesn't need to be rushed
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant