Skip to main content
Jump to: navigation, search

Difference between revisions of "Orion/Meeting minutes/20170410"

(No difference)

Latest revision as of 14:20, 10 April 2017


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