Skip to content

bump version to 0.13.5#3303

Merged
nicks merged 1 commit into
masterfrom
bump-v0.13.5
May 8, 2020
Merged

bump version to 0.13.5#3303
nicks merged 1 commit into
masterfrom
bump-v0.13.5

Conversation

@maiamcc

@maiamcc maiamcc commented May 7, 2020

Copy link
Copy Markdown
Contributor

Hello @landism, @jazzdan,

Please review the following commits I made in branch bump-v0.13.5:

66e83c1 (2020-05-07 17:28:34 -0400)
bump version to 0.13.5

Code review reminders, by giving a LGTM you attest that:

  • Commits are adequately tested
  • Code is easy to understand and conforms to style guides
  • Incomplete code is marked with TODOs
  • Code is suitably instrumented with logging and metrics

@maiamcc
maiamcc requested review from jazzdan and landism May 7, 2020 21:29
@fvalverd

fvalverd commented May 8, 2020

Copy link
Copy Markdown

Tilt web UI is telling me there is a new version (0.13.5), but ./scripts/install.sh in this PR is not yet merged on master. Are you going to merge this file soon?

@nicks

nicks commented May 8, 2020

Copy link
Copy Markdown
Contributor

Thanks for the report! I'll take the liberty of merging this

@nicks
nicks merged commit dbbb64d into master May 8, 2020
@maiamcc

maiamcc commented May 8, 2020

Copy link
Copy Markdown
Contributor Author

Sorry for the delay @fvalverd, thanks for merging @nicks!

@maiamcc
maiamcc deleted the bump-v0.13.5 branch May 8, 2020 15:11
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