Discussions

• 1 You must be logged in to vote

  💬

  WG assignments for projects

  discussion Discussions about this site, not related to specific documents.

  ReesePlews started Sep 13, 2024 in General

  

  

  

  

  4
• 1 You must be logged in to vote

  💬

  updates to labels and other label related discussions

  discussion Discussions about this site, not related to specific documents.

  ReesePlews started Feb 17, 2024 in General

  

  

  

  

  9
• 1 You must be logged in to vote

  💡

  Proposal for improvement: "pinned repository" with longer description

  heidivanparys started Aug 26, 2021 in Ideas

  

  

  

  

  3
• 2 You must be logged in to vote

  💬

  How can WGs best use GitHub issues to manage issues (feedback) on documents?

  PeterParslow started Aug 18, 2021 in General

  

  

  0
• 1 You must be logged in to vote

  📣

  Introduction to GitHub discussions

  PeterParslow announced Aug 18, 2021 in Announcements

  

  

  0