Skip to content
This repository has been archived by the owner on Jul 6, 2020. It is now read-only.

Pipeline #625

Merged
merged 19 commits into from Oct 8, 2018
Merged

Pipeline #625

merged 19 commits into from Oct 8, 2018

Conversation

jonathan-j-lee
Copy link
Member

No description provided.

@jonathan-j-lee jonathan-j-lee self-assigned this Oct 6, 2018
@jonathan-j-lee jonathan-j-lee added this to In progress in DevOps via automation Oct 6, 2018
@jonathan-j-lee jonathan-j-lee moved this from In progress to Needs review in DevOps Oct 6, 2018
ziyaointl added a commit that referenced this pull request Oct 6, 2018
Apparently Jonathan added a more update-to-date version in #625, so I'm deleting this one
@jonathan-j-lee
Copy link
Member Author

Adding @baby-bell and @SilentCtrl as reviewers, since I had to change some parts of runtime to pass the linter.

@baby-bell
Copy link
Contributor

I don't see anything particularly concerning

Copy link
Contributor

@rmandla rmandla left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

DevOps automation moved this from Needs review to Reviewer approved Oct 8, 2018
@jonathan-j-lee jonathan-j-lee merged commit 52162a1 into master Oct 8, 2018
DevOps automation moved this from Reviewer approved to Done Oct 8, 2018
@jonathan-j-lee jonathan-j-lee deleted the devops/pipeline branch October 8, 2018 07:59
ziyaointl pushed a commit that referenced this pull request Oct 19, 2018
* rm -r ;)

* cleaned out Shepherd.py

* cleaned out Shepherd.py again :)

* cut down utils

* deleted timer types

* clean up Alliance.py

* add todo in Alliance.py

* removed previous web pages

* deleted more (maybe done?)

* Update .gitignore

Add rule for vscode

* Clean up Sensors.py

Deleted goal and bid related code. They should be useful as a reference though.

* Add Pipfile

* Comment out unused class header in Utils.py

* Clean up dawn_server.py

* sensor

* disabled import error

* un-disabled import error

* Remove duplicate pipfiles

Apparently Jonathan added a more update-to-date version in #625, so I'm deleting this one
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
DevOps
  
Done
Development

Successfully merging this pull request may close these issues.

None yet

3 participants