Hi Martin,
thanks for the direct CC. I'm happy that the migration is happening :)
On Thu, May 21, 2020 at 12:41:22AM -0400, Martin Blais wrote:
- 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?).
Doing a force push with git (git push --force) will ensure that the
branch that you're pushing gets completely synced with your local state
(and basically corresponds to "recreating" it). That should be slightly
quicker than delete-and-recreate (I'm also not sure if the deletion
could cause any problems).
All I'm missing to get the job finished is "Owner" ACLs to the
organization, so I can move the repo and help Kirill move docs into it too.
Jakob? Dominik?
Seems like I was slightly too late, you're already an owner of the
Beancount org on Github now.
Best,
Jakob
--
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/20200521073509.GA50608%40js-arch.
