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

- updates agenda workflow so it closes older agenda issues automatically #3435

Merged
merged 3 commits into from
Nov 16, 2023

Conversation

baywet
Copy link
Contributor

@baywet baywet commented Nov 6, 2023

related #3420

@lornajane
Copy link
Contributor

How long will it leave the issues open for? I would suggest something over 2 weeks, so we can always look at the previous meeting notes, even if we skip a meeting one week.

@baywet
Copy link
Contributor Author

baywet commented Nov 7, 2023

@lornajane right now it closes the issue as soon as the date in the title is passed, but runs only every week, so that should give us a week effectively.
We could introduce a delay if the TDC decides it.

@baywet
Copy link
Contributor Author

baywet commented Nov 9, 2023

Notes from the meeting:

  • wait 10 days before close the issue.
  • look into unpinning the issue as we close them.

- adds pinning and unpinning of agenda issues

Signed-off-by: Vincent Biret <vibiret@microsoft.com>
@baywet
Copy link
Contributor Author

baywet commented Nov 9, 2023

@lornajane @darrelmiller @MikeRalphson @webron :

  • added the delay of 10 days before closing the agenda item
  • added pinning/unpinning the issues

I think this is ready to merge.

Signed-off-by: Vincent Biret <vibiret@microsoft.com>
@earth2marsh earth2marsh merged commit 0870aeb into OAI:main Nov 16, 2023
2 checks passed
@baywet baywet deleted the feature/auto-close-agenda branch November 16, 2023 17:10
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.

4 participants