Skip to content

add to ER template to auto mention ER in agenda #470

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

Draft
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

fyliu
Copy link
Member

@fyliu fyliu commented Feb 10, 2025

Fixes #replace_this_text_with_the_issue_number

What changes did you make?

Why did you make the changes (we will use this info to test)?

  • It automates the step of mentioning the new ER issue in the agenda issue. The mention helps to add the issue for discussion when creating a new agenda.

Screenshot

what the tagging looks like in the ER issue BEFORE

2025-02-13 14 07 46 github com a017bbd8cada

what the tagging looks like in the ER issue AFTER

2025-02-13 13 58 04 github com 2d44d693193d

what the tagging looks like in the Agenda issue

2025-02-10 12 46 34 github com 572ebb41bea3

Add a tag to the current agenda issue (#461) in the ER template so the new ER issue will show in the agenda issue when created.
@fyliu
Copy link
Member Author

fyliu commented Feb 10, 2025

I want to ask the team to make sure this is a good idea before merging it.

@fyliu fyliu changed the title auto mention ER in agenda add to ER template to auto mention ER in agenda Feb 12, 2025
@fyliu
Copy link
Member Author

fyliu commented Feb 14, 2025

We decided during the meeting that this is not helpful for these reasons:

  1. Tagging a specific issue means the template will need to be manually updated when we move to a new agenda issue at the end of each year.
  2. Potentially the issue creator create the issue but is not ready to discuss it at the next meeting, so auto-tagging might not be timely.

What's more future-proof would be to add a link to the issues list filtered to "agenda" and instructions to direct the issue creator to choose and add the tag from the correct current agenda issue. Another way is add instructions to type hashtag(#) and then start typing "agenda" and choose the correct issue.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: PR Needs review (automated column, do not place items here manually)
Development

Successfully merging this pull request may close these issues.

1 participant