FYI: where Case Tracker development happens

In the Open Atrium announcement on Drupal.org, someone asked if Case Tracker has been forked by the Atrium project and if its development is now at GitHub instead of the Case Tracker issue queue on Drupal.org. I asked Eric Gundersen about this at his features session at DrupalCamp LA and learned that Atrium Case Tracker development that happens at GitHub does go upstream to the Case Tracker project on Drupal.org.