15:02:49 #startmeeting core irc public meeting 15:02:49 Meeting started Thu Jan 20 15:02:49 2022 UTC. 15:02:49 This meeting is logged and archived in a public location. 15:02:49 The chair is bcoca. Information about MeetBot at https://fedoraproject.org/wiki/Zodbot#Meeting_Functions. 15:02:49 Useful Commands: #action #agreed #halp #info #idea #link #topic. 15:02:49 The meeting name has been set to 'core_irc_public_meeting' 15:03:48 seems quiet 15:03:54 shh 15:04:16 #topic type hinting in core 15:04:27 #info https://github.com/ansible/community/issues/635#issuecomment-966636254 15:04:43 did we ever get nitz's proposal? 15:04:50 one day we'll get this figured out, probably not today though, with the 2 primaries on this not up yet 15:04:53 yeah, it's in proposals 15:05:03 https://github.com/ansible/proposals/issues/202 15:05:10 #action read proposal https://github.com/ansible/proposals/issues/202 15:05:22 #topic extend validate-modules to validate-plugins 15:05:26 @felixfontein? 15:05:37 #info https://github.com/ansible/ansible/pull/71734 15:07:15 k, meeting seems dead, so going to close early 15:08:19 #endmeeting