>After I refresh the code and migrate the tickets, I'd love to integrate Kirill's .md docs
How would you like to do that? I think it's better to keep the parser and resulting markdown files in a separate repo unless there's a compelling reason to do otherwise, as this allows frequent updates (I currently do re-parsing once a week). That being said, I would happily transfer my beancount-docs repo to https://github.com/beancount/ organization and add you as collaborator. On Tuesday, May 19, 2020 at 4:57:14 PM UTC+3, Martin Blais wrote: > > On Tue, May 19, 2020 at 5:28 AM Martin Michlmayr <[email protected] > <javascript:>> wrote: > >> * Martin Blais <[email protected] <javascript:>> [2020-05-18 04:24]: >> > Martin: Did you want to go beyond this and create a mapping? >> >> I have a mapping now for some users. For quite a few people I cannot >> find a mapping. I think once we've done the migration, we can update >> the BitBucket issues and let them know about the move to GitHub. > > > >> Anyway, I emailed some people asking for their GitHub username, so >> please give me a few days. >> > > SGTM, I'll wait for your mapping and then I'll test it with git-remote-hg. > Thanks a lot for your help and thanks to Kirill Goncharov for figuring out > the issues migration. > > I re-ran the hg-fast-export conversion and git-remote-hg ones last night > to see if there's any benefit to using one vs. the other. > The former fails with an exception; the latter works well. It'll be a > git-remote-log conversion. > I diffed all the heads of branches to make sure nothing's lost; seems to > have worked perfectly. > I also spot-checked some of the per-branch logs, they also fine. > The tags are also present and matching. > > There are a few final relatively easy things I need to figure out: > > - I have some repo lying around with local changes that needs to get > merged before I make the final conversion. I'll merge those changes in hg > and reimport. > > - Mercurial has the concept of "closing" a branch (typically when it gets > merged). This results over time in a large set of "inactive" and a smaller > set of "active" branches. The conversion merely creates branches, for both > active and inactive ones. The git-remote-hg docs mention "Closed branches > are not supported; they are not shown and you can’t close or reopen. > Additionally in certain rare situations a synchronization issue can occur > (Bug #65)." I want to figure a way to keep the branch refs / history yet > have them not show up in the list of branches (so that the little github > menu doesn't show all these closed branches as if they were work in > progress). I think I may use a tag in under archive/ like some people do to > differentiate those from tags for released versions. > > - Dominik Aumayr created the github.com/beancount/beancount repository > originally and gave me admin rights. While I'm able to pull the output of a > fresh git-remote-hg conversion on top of that repo (with a minor merge on a > tags file), I'd prefer to empty it or remove it and recreate it from > scratch with the latest version of the git-remote-hg converter. Is this > going to cause problems? I suspect I would not since I can pull the recent > conversion on top, the checksums are probably the same and the repos would > be compatible. Have you done that before? I wonder if it's easiest to > delete and recreate the repo project in github (does github make that > possible or if I delete the repo would the beancount/beancount name be > unavailable forever?). > > After I refresh the code and migrate the tickets, I'd love to integrate > Kirill's .md docs and ask if people can remove other static docs to there's > only one copy out there and change all pointers to the repo. > > > > -- You received this message because you are subscribed to the Google Groups "Beancount" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/beancount/fac47049-267d-4205-88f3-6e030e7d2039%40googlegroups.com.
