Skip to content

Conversation

@karmel
Copy link
Contributor

@karmel karmel commented Mar 12, 2018

The branch in question was merged in #3472 . Also updated the comment, which is no longer true.

@qlzh727 - for context, these are the files @vishh was using to generate and register a Docker image for this repo.

@karmel karmel requested a review from qlzh727 March 12, 2018 23:15
@karmel karmel requested review from k-w-w and nealwu as code owners March 12, 2018 23:15
@karmel karmel merged commit 4c7c8fa into master Mar 13, 2018
@karmel karmel deleted the fix/update-dockerfile branch March 13, 2018 15:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants