Skip to content

Transition to git for submission management #35

@joshuagruenstein

Description

@joshuagruenstein
  • Autocreate remote git repo for each team
  • Scrimmage server pull from master head when running matches
  • Git in the web IDE via js-git

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions