Conversation
Notices
-
@mmn I tried to register at git.gnu.io but I have not received a confirmation mail although I have requested a new one several times. Or should I just clone the repo locally and mail .patch files to the respective repo maintainers instead as an alternative?
-
@benediktg Maybe @robmyers or @mattl knows if or why the email doesn't get through.
But yeah, you can send me patch files too! Preferrably so I can do something like 'git am < patch', I'm not sure how to format them that way without reading up on git documentation (but the file extension is .patch and here's a working example: https://git.gnu.io/gnu/gnu-social/commit/05439831e717cb20b3c76010354381ff50555f1d.patch )
-
@benediktg mailto:mmn@hethane.se
-
@benediktg you can easily to push to any empty repository you have write-access (or push-access) on: $ git remote add NAME-HERE --track master bla@host:/some/path/repos.git and then: $ git push NAME-HERE --all
-
@benediktg also this works:
1) take/make empty USB
2) $git init --bare /media/usb-stick/some-path/repos.git
3) $ git remote add usb-stick --track-master /media/usb-stick/some-path/repos.git
4) $ git push usb-stick --all
May take some time to send it to @mmn. ;-)
-
@roland The problem actually isn't that I cannot push but furthermore that I cannot create an account on git.gnu.io. ;-)
-
@benediktg Then create somewhere else or run your own instance. :) Just as a temporary workaround until the mail is delivered to you.
-
@roland I actually have signed in several days ago, requested a new confirmation mail a few times but still have not received any mail so that I assume it is not a matter of waiting…
-
@roland Never underestimate the #sneakernet!
-
@mmn Is #sneakernet where they sell stolen shoes? @roland