Merge with mine #1
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
I have a repository on Github that is pretty much just this. I think it may be worth merging them. I have already uploaded the files from your repo to mine, but I think it would be better to do the reverse mainly to run away from Microsoft, even though stealing storage space from them is kinda fun.
Perhaps. I'm not sure if I'm the best maintainer for this though, some newer files are missing and I still haven't fixed it (partly because I've been working on other, phone-related, projects, but also because I'm lazy probably). I can try adding files from your repository to the list downloaded for this one, and if you want to do dumping for me, I can give you write access to this repository. Also the list of files downloaded for this was obtained using the Wayback Machine's CDX server, in case that's useful!
I added the missing stuff that's in your repository to the list, I'll just check if the Wayback Machine picked up anything new!
Well my script didn't pick up the membership stuff for some reason, at least as far as I know, but you seem to already have it anyway. Anyway, here's the commit:
chipmunkmc/scratch-eleusis@93e76f58d5Added the new files, if you consider this done you can close it.
I'd say it's "done enough to be closed", but I'm not sure if we should continue running 2 separate repos using 2 different techniques and merge every now and then. I mean, personally, I find the folder -> wget input file technique more practical, so I don't really want to deprecate mine and replace it with yours.