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.

Sign up for GitHub

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

Jump to bottom

[tech] Upgrade simple deps #667

Merged
merged 1 commit into from
Jul 2, 2020
Merged

[tech] Upgrade simple deps #667

merged 1 commit into from
Jul 2, 2020

Conversation

pbougue
Copy link
Contributor

@pbougue pbougue commented Jun 30, 2020 •
edited
Loading

Upgrade non-geo dependencies (those are tricky will come in later PR).

Also remove useless dep (tested cargo udeps).

TODO:

  • check that projects depending on TM are OK
  • bump version > No need if merged before release.
  • squash (hence do_not_merge)

datanel
datanel reviewed Jun 30, 2020
View reviewed changes
woshilapin
woshilapin reviewed Jun 30, 2020
View reviewed changes
Upgrade simple deps
2f75986 
Also Remove useless dep (using cargo udeps)
@pbougue pbougue force-pushed the upgrade_simple_deps branch from 58ee46f to 2f75986 Compare July 2, 2020 10:28
@pbougue pbougue marked this pull request as ready for review July 2, 2020 10:29
@pbougue pbougue merged commit b67e4fe into hove-io:master Jul 2, 2020
@pbougue pbougue deleted the upgrade_simple_deps branch July 8, 2020 10:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@datanel datanel datanel left review comments

@woshilapin woshilapin woshilapin approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@pbougue @datanel @woshilapin