Skip to content
This repository was archived by the owner on Feb 12, 2021. It is now read-only.

os: update DigitalOcean URLs #1263

Merged
merged 1 commit into from
Nov 9, 2018
Merged

os: update DigitalOcean URLs #1263

merged 1 commit into from
Nov 9, 2018

Conversation

bengadbois
Copy link
Contributor

No description provided.

bgilbert
bgilbert suggested changes Nov 9, 2018
View reviewed changes
Copy link
Contributor

@bgilbert bgilbert left a comment

Choose a reason for hiding this comment

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

Thanks for the updates! There's one problem, and one clarification.

@bgilbert
Copy link
Contributor

bgilbert commented Nov 9, 2018

Could you squash these two commits and force-push?

@bengadbois bengadbois changed the title Update DigitalOcean URLs os: update DigitalOcean URLs Nov 9, 2018
bgilbert
bgilbert approved these changes Nov 9, 2018
View reviewed changes
Copy link
Contributor

@bgilbert bgilbert left a comment

Choose a reason for hiding this comment

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

Looks good, thanks!

@bgilbert bgilbert merged commit 2f1730d into coreos:master Nov 9, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@bgilbert bgilbert bgilbert 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.
2 participants
@bengadbois @bgilbert