Community Meeting 2023 June 02

[StevenClontz]

Our next meeting will take place 4pm-5pm Eastern on June 2.

Agenda:

• maintainers adding themselves to list of watchers
• re-discuss the extent to which we would want or not want to remore redundant theorems
• trimming of commit messages when approving PRs with a squash merge
• guidelines on amount of detail to put in README files for properties and for spaces
  (see discussion in Add P-space property #310 for example)
• Acceptance of correct but improvable PRs
• guidelines on amount of detail to put in README files for properties and for spaces
  (see discussion in Add P-space property #310 for example)
• "Hackathons", workhops, REUs?
• Preview: https://topology.pages.dev/

Please feel free to discuss/suggest more items below.

[StevenClontz]

I've updated the title with the date for our meeting. Please reply if you see this so I know this info is getting out to the community. :-)

[StevenClontz]

@ccaruvana @lyengulalp @hpecora1 testing to see if you get notified if you're tagged...

[ccaruvana]

I got notified via email with this, but not before this. I guess one needs to add the "All Activity" option under "Watch" to get notified other than mentions and threads you have posted on.

[StevenClontz]

"Be sure to subscribe, and hit that bell for notifications so you don't miss a video!" er post

[lyengulalp]

Yes.

…

On Thu, May 18, 2023, 4:42 PM Steven Clontz ***@***.***> wrote: @ccaruvana <https://github.com/ccaruvana> @lyengulalp <https://github.com/lyengulalp> @hpecora1 <https://github.com/hpecora1> testing to see if you get notified if you're tagged... — Reply to this email directly, view it on GitHub <#300 (reply in thread)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AREQ5HWPIHKS63BZ2ETLTGLXG2CTLANCNFSM6AAAAAAXHKG32M> . You are receiving this because you were mentioned.Message ID: ***@***.***>

[StevenClontz]

Just so I know who's hearing about stuff, did you get a notification before I tagged you?

[lyengulalp]

Same here.

…

On Thu, May 18, 2023, 6:41 PM Chris ***@***.***> wrote: I got notified via email with this, but not before this. I guess one needs to add the "All Activity" option under "Watch" to get notified other than mentions and threads you have posted on. — Reply to this email directly, view it on GitHub <#300 (reply in thread)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AREQ5HQW4W3TGMDF4RNIPGLXG2QRRANCNFSM6AAAAAAXHKG32M> . You are receiving this because you were mentioned.Message ID: ***@***.***>

[StevenClontz]

Thanks - I'm exploring GitHub discussion boards for organizing a few different communities, so this feedback is good.

[hpecora1]

Bit late to the party, but I had the same experience as Chris.

…

On May 19, 2023, at 11:59 AM, Steven Clontz ***@***.***> wrote:  Thanks - I'm exploring GitHub discussion boards for organizing a few different communities, so this feedback is good. — Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you were mentioned.

[prabau]

Some suggestions for items on the agenda:

• re-discuss the extent to which we would want or not want to remore redundant theorems
• trimming of commit messages when approving PRs with a squash merge
• maintainers adding themselves to list of watchers

[prabau]

One more suggestion for the agenda:

• guidelines on amount of detail to put in README files for properties and for spaces
  (see discussion in Add P-space property #310 for example)

[prabau]

One more: generic examples of spaces (not fully determined up to homeomorphism). See discussion in #314.

[StevenClontz]

FYI I'm running late. I'm hoping to join the call 4:15 Eastern

[StevenClontz]

Y'all should feel free to start discussing things without me. Patrick suggested a few of the items so you can lead those discussions without me if you like.