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.

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

GitHub and ToolShed are out of sync #416

Open
2 tasks
blankenberg opened this issue Nov 22, 2016 · 2 comments
Open
2 tasks

GitHub and ToolShed are out of sync #416

blankenberg opened this issue Nov 22, 2016 · 2 comments

Comments

@blankenberg
Copy link
Member

blankenberg commented Nov 22, 2016

There are changes in this repo that have not been pushed to the toolshed. This will cause wasted effort on bug tracking and fixing when fixes have already been merged here, but not pushed out to the ToolShed.

However, we cannot just 'push all' changes to the toolshed, until some issues are resolved:

We will need to determine the fuzzy diff between the toolshed and GitHub.

@scholtalbers
Copy link
Contributor

#432 pr was merged a few hours ago. When are these changes generally pushed to the toolshed?

@martenson
Copy link
Member

@scholtalbers I updated MTS with #432

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

No branches or pull requests

3 participants