Skip to content
This repository has been archived by the owner on Dec 15, 2022. It is now read-only.

Move git and github tab items to a PaneItem #1547

Merged
merged 39 commits into from Jun 26, 2018
Merged

Move git and github tab items to a PaneItem #1547

merged 39 commits into from Jun 26, 2018

Conversation

smashwilson
Copy link
Contributor

@smashwilson smashwilson commented Jun 22, 2018

Let's eliminate some dead code and be a bit more consistent.

Fixes #1543.

@coveralls
Copy link

coveralls commented Jun 22, 2018

Coverage Status

Coverage increased (+1.0%) to 72.308% when pulling 7df1b2f on aw/undock into 1e19579 on master.

@smashwilson
Copy link
Contributor Author

Phew. Did not expect this one to take so long. In any case, it's working properly now. As a side bonus we have an integration test harness, too.

@smashwilson smashwilson merged commit 521d42e into master Jun 26, 2018
Feature Sprint: 18 June - 6 July 2018 automation moved this from In progress 🔧 to Merged ☑️ Jun 26, 2018
@smashwilson smashwilson deleted the aw/undock branch June 26, 2018 19:58
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
No open projects
Development

Successfully merging this pull request may close these issues.

None yet

2 participants