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

Split gitHub into gitHubWeb and gitHubFlavored #188

Merged
merged 3 commits into from
Dec 20, 2017

Conversation

srawlins
Copy link
Collaborator

@kevmoo
Copy link
Contributor

kevmoo commented Dec 19, 2017

Travis is sad 😢

@srawlins
Copy link
Collaborator Author

Duh. Fixed!

@kevmoo
Copy link
Contributor

kevmoo commented Dec 20, 2017

Changelog? Version change?

Copy link
Contributor

@kevmoo kevmoo left a comment

Choose a reason for hiding this comment

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

changelog and version bump, please.

Want to release it as this?

@srawlins srawlins merged commit bad4568 into dart-archive:master Dec 20, 2017
@srawlins srawlins deleted the githubweb branch December 20, 2017 21:29
mosuem pushed a commit to dart-lang/tools that referenced this pull request Dec 9, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Development

Successfully merging this pull request may close these issues.

ExtensionSet.gitHub doesn't include ID extensions as documented
3 participants