Delete problem repos

[MichaelVessia]

@b-stone, I put all of the solutions that we had in individual repos into this one repo. If you like the idea, let me know and we can delete all of the other ones to simplify this and get rid of redundancy.

[bstone]

Wow thanks. This is great. Looking through I see that the commit history is lost. If you are willing, do you think you could try to move all the files here along with the commit history? You could probably just delete this repo and start over . I think I have done this before, here is a link to the pull request:

Macaulay2/M2#449

[MichaelVessia]

I'll give the commit history a look later. I did the other stuff during my
lunch. Thanks for the link
On Jun 7, 2016 2:13 PM, "Branden Stone" notifications@github.com wrote:

Wow thanks. This is great. Looking through I see that the commit history
is lost. If you are willing, do you think you could try to move all the
files here along with the commit history? You could probably just delete
this repo and start over . I think I have done this before, here is a link
to the pull request:

Macaulay2/M2#449 Macaulay2/M2#449

—
You are receiving this because you authored the thread.
Reply to this email directly, view it on GitHub
#1 (comment),
or mute the thread
https://github.com/notifications/unsubscribe/AFYPeQYisZUf2ppj2Rfakg0WJwMXL6Sjks5qJbThgaJpZM4IwI-2
.