Skip to main content
Jump to: navigation, search

Orion/Meeting minutes/20170410


Mike, Silenio, Steve, Grant, Alston, Sidney, Eric, Carolyn, Libing, Curtis, Martin


  • repositories migrated to
  • node server
    • added a means of registering a GitHub token provider
  • multiple workspaces support
    • done in Java server
    • TODO in Node server
  • client
    • investigating tab behavior improvements
    • runbar now gives visual indication during deployments
  • Language tooling
    • JSON editor work released with tests

Back to the top