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

Git extensions plugin #112

Closed
wants to merge 5 commits into from
Closed

Conversation

sc68cal
Copy link
Contributor

@sc68cal sc68cal commented Dec 1, 2011

I've found the GitExtensions plugin originally written by @roend83 to be incredibly useful, and would like to see it merged. I added a third option to the push menu in the plugin, for the commits to be done with the rcheckin command, since my workflow uses it more often.

@sc68cal
Copy link
Contributor Author

sc68cal commented Dec 13, 2011

@ivan-danilov Any progress on reviewing this?

@roend83
Copy link
Contributor

roend83 commented Dec 13, 2011

I talked with @spraints about this and we decided that this shouldn't be a part of the git-tfs repository. We decided to create a git-tfs organization and add a new git-tfs-git-extensions-plugin repository. I went ahead and created the repository - https://github.com/git-tfs/git-tfs-gitextensions-plugin. I'll try to get around to pulling this code out and pushing it into the new repository this week.

@sc68cal
Copy link
Contributor Author

sc68cal commented Dec 13, 2011

@roend83 - This sounds like a good idea. I use this plugin extensively and want to see this integrated, so I am prepared to do the gruntwork of doing a filter-branch and setting up GitExtensions and Git-tfs as submodules, and do another pull request

@sc68cal
Copy link
Contributor Author

sc68cal commented Dec 13, 2011

Went ahead and cleaned up the history and set up the submodule - @roend83 or @spraints can just pull from it and push it into the real repo, since I can't fork an empty Github repo.

@roend83
Copy link
Contributor

roend83 commented Dec 13, 2011

I pulled your changes and pushed them into the new repository. Thanks!

@roend83 roend83 closed this Dec 13, 2011
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

Successfully merging this pull request may close these issues.

2 participants