Discussions

• 1 You must be logged in to vote

  💬

  Wrap up

  jtr13 started Dec 10, 2022 in General

  

  

  0
• 1 You must be logged in to vote

  💬

  Naming Convention

  zcysxy started Nov 14, 2022 in General

  

  

  0
• 1 You must be logged in to vote

  💬

  New instructions for merging PRs

  jtr13 started Nov 13, 2022 in General

  

  

  0
• 2 You must be logged in to vote

  💬

  Maintainers: what to submit for the assignment

  jtr13 started Nov 13, 2022 in General

  

  

  0
• 1 You must be logged in to vote

  💬

  Meeting with the Mon/Wed class maintainers today

  jtr13 started Nov 7, 2022 in General

  

  

  

  

  4