2 ms·
Hmm - how did they manage to backdate the issue/issue comment creation? I don't see it in the GitHub API documentation.
by comex 12y ago
Hmm - how did they manage to backdate the issue/issue comment creation? I don't see it in the GitHub API documentation.
- bradfitz 12y agoSpecial process, working with support@github.com. They have an internal tool that will migrate a special format (which we had to prepare). After 14 tries, we got it right. Mostly. We still couldn't do lots of things we wanted, but it was way better than our first version where we did it all via API calls.
- comex 12y agoA (much smaller) project I contribute to might want to similarly migrate issues from Google Code to GitHub. It would be nice if backdating were available via a standard API, but I guess it's not terribly important for us. A bigger problem is that we'd like issue numbers to have a 1:1 mapping, but we're already using GitHub for pull requests, and pull requests are issues, so something would have to give... however, if we could specify arbitrary (unused) IDs, we could do something like add 100000 to the old issue numbers. Just thinking out loud.