Gitlab Pull Requests#458

Closed

DLu wants to merge 5 commits intoros-infrastructure:masterfrom

locusrobotics:feature/gitlab_ftw

Commits on Jul 11, 2018

Gitlab interfacing
DLu
committed

Commits on Jul 25, 2018

Fix formatting with a brisk pep talk
DLu
committed

Commits on Sep 29, 2018

Change URL (#484)

DLu
authored and
David V. Lu
committed
Reorder commands (toward Gitlab compatibility) (#483)

DLu
authored and
David V. Lu
committed
Merge remote-tracking branch 'upstream/master' into feature/gitlab_ftw
David V. Lu
committed