Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

U/jchiang/simple faint interface #184

Merged
merged 28 commits into from
Nov 19, 2018
Merged

Conversation

jchiang87
Copy link
Collaborator

No description provided.

@cwwalter
Copy link
Member

I'm soft of confused bywhat is going one with this one...

Isn't turning on the interface in #181? This seems to have a bunch of stuff in the other PRs that (haven't?) been already merged?

@jchiang87
Copy link
Collaborator Author

Unfortunately, all of the stuff prior to Sept 13 was merged from the dc2_run20_rc branch, that's why there's commits that have been merged into master already. It's a mess, I know, but in the end it will be ok.

@cwwalter
Copy link
Member

OK but I'm just sort of confused... is there anything in here which is not in the other PRs like
#174, #176, #181 etc (that were merged to the branch)?

Can't you go back and merge those branches individually to master? Or is there some change in this one that isn't in the others (that's the part I am confused by...)?

@cwwalter
Copy link
Member

Oops forgot to type: Also wondering if this one has the commits we wanted to leave out in it?

@jchiang87 jchiang87 force-pushed the u/jchiang/simple_faint_interface branch from d3b0d15 to e15cad3 Compare November 15, 2018 05:06
@coveralls
Copy link

coveralls commented Nov 15, 2018

Coverage Status

Coverage decreased (-0.03%) to 73.419% when pulling ea2b9d7 on u/jchiang/simple_faint_interface into 18b1da2 on master.

@jchiang87
Copy link
Collaborator Author

I'll merge this at 9am tomorrow PT unless I hear otherwise.

@jchiang87 jchiang87 merged commit 43dac6b into master Nov 19, 2018
@jchiang87 jchiang87 deleted the u/jchiang/simple_faint_interface branch November 19, 2018 20:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants