Skip to content
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

feature: remove users from issues after 3 months inactivity #1019

Closed
wants to merge 22 commits into from

Conversation

za
Copy link
Contributor

@za za commented Oct 4, 2023

#1016

What kind of changes does this PR include?

  • Fixes or refactors
  • A new challenge
  • Additional documentation
  • Something else

Description

Automation: remove users from issues after 3 months inactivity

Relations

References

Checklist:

  • All the contributions made are solely the work of me and my co-authors
  • I tested the changes in this PR (if applicable)
  • I added unit tests to ensure my change works (when change in Java or on front-end code)
  • I added UI tests to ensure my UI changes work (when change in the overall UI, not needed if just adding a challenge)
  • The PR passes pre-commit hooks and automated tests

Comment on lines 1 to 18
name: GitHub Actions Demo
run-name: ${{ github.actor }} is testing out GitHub Actions 🚀
on: [push]
jobs:
Explore-GitHub-Actions:
runs-on: ubuntu-latest
steps:
- run: echo "🎉 The job was automatically triggered by a ${{ github.event_name }} event."
- run: echo "🐧 This job is now running on a ${{ runner.os }} server hosted by GitHub!"
- run: echo "🔎 The name of your branch is ${{ github.ref }} and your repository is ${{ github.repository }}."
- name: Check out repository code
uses: actions/checkout@v4
- run: echo "💡 The ${{ github.repository }} repository has been cloned to the runner."
- run: echo "🖥️ The workflow is now ready to test your code on the runner."
- name: List files in the repository
run: |
ls ${{ github.workspace }}
- run: echo "🍏 This job's status is ${{ job.status }}."
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

not sure if we need this action. Maybe we can remove it?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hi @commjoen sure, we can remove this. I am planning to re-create the PR as there are a lot of un-necessary commits on this branch 😁

@za za marked this pull request as ready for review October 25, 2023 08:02
@za za requested a review from bendehaan as a code owner October 25, 2023 08:02
@za
Copy link
Contributor Author

za commented Oct 25, 2023

Hi @commjoen can you review the PR? It's ready for review now. BTW, can you squash the commits on this branch into single commit before merging into master?

@commjoen
Copy link
Collaborator

Hi @za ! I can review, but not squash... sorry

@commjoen
Copy link
Collaborator

Feel free to squash and force push

@za
Copy link
Contributor Author

za commented Oct 25, 2023

In that case, I'll just create a new branch :-)

@za
Copy link
Contributor Author

za commented Oct 25, 2023

Hi @commjoen I created a new PR #1050

@za
Copy link
Contributor Author

za commented Oct 25, 2023

PR moved to #1050

@za za closed this Oct 25, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants