Re: Mirroring on Codeberg and Github, and groups
Raymond Toy <[email protected]> Mon, 22 Jun 2026 12:23:44 -0700
| Newsgroups | gmane.lisp.common-lisp-net.devel |
|---|---|
| Message-ID | <[email protected]> |
This is a multi-part message in MIME format.
--------------YcEAZ1Fj4oTsa2CzkACRjzyw
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
On 6/22/26 4:33 AM, Marco Antoniotti wrote:
> Hi
>
> Has anybody done this in a simple (*) way?
It’s relatively simple to mirror a repo to github. That hard part is
figuring out the magic URLs to use because it’s not clear.
I set this up for some of my repos and it was relatively simple.
Instructions are at https://docs.gitlab.com/user/project/repository/mirror/
Unfortunately, I didn’t take notes and I can’t look up the magic values
used because the UI doesn’t show them. I eventually had to ask for help
on IRC.
> Also, I have old repositories on CLNET that have a "group" associated
> with them, while the new ones do not.
>
> Is there a way for a user to manage "groups" directly?
Aren’t the new ones in the group associated with your user id? Mine are.
There are others that have their own group; these were created long ago.
This includes things like f2cl, oct, series.
>
> Thanks
>
> Marco
>
> (*) simpler than what you find around the net.
>
> --
> MA
>
​
--------------YcEAZ1Fj4oTsa2CzkACRjzyw
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
<!DOCTYPE html>
<html>
<head>
<meta http-equiv=3D"content-type" content=3D"text/html; charset=3DUTF=
-8">
<title></title>
<meta charset=3D"utf-8">
</head>
<body>
<div class=3D"markdown-here-wrapper">
<p style=3D"margin-bottom: 19.2px; margin-top: 0px;">On 6/22/26 4:3=
3
AM, Marco Antoniotti wrote:<br>
</p>
<blockquote type=3D"cite"
style=3D"border-block-color: rgb(119, 119, 119); border-bottom-color: rgb=
(119, 119, 119); border-inline-color: rgb(114, 159, 207) rgb(119, 119, 11=
9); border-inline-start: 2px solid rgb(114, 159, 207); border-left: 2px s=
olid rgb(114, 159, 207); border-right-color: rgb(119, 119, 119); border-t=
op-color: rgb(119, 119, 119); color: rgb(119, 119, 119); column-rule-colo=
r: rgb(119, 119, 119); margin: 19.2px 0px; outline-color: rgb(119, 119, 1=
19); padding-inline: 16px; padding-left: 16px; padding-right: 16px; quote=
s: none; text-decoration-color: rgb(119, 119, 119); text-emphasis-color: =
rgb(119, 119, 119);">
<div dir=3D"ltr">
<div>Hi</div>
<div><br>
</div>
<div>Has anybody done this in a simple (*) way?</div>
</div>
</blockquote>
It=E2=80=99s relatively simple to mirror a repo to github. That har=
d part
is figuring out the magic URLs to use because it=E2=80=99s not clea=
r.
<p style=3D"margin-bottom: 19.2px; margin-top: 0px;">I set this up
for some of my repos and it was relatively simple. Instructions
are at <a
href=3D"https://docs.gitlab.com/user/project/repository/mirror/=
"
class=3D"moz-txt-link-freetext">https://docs.gitlab.com/user/pr=
oject/repository/mirror/</a></p>
<p style=3D"margin-bottom: 19.2px; margin-top: 0px;">Unfortunately,=
I didn=E2=80=99t take notes and I can=E2=80=99t look up the magic=
values used
because the UI doesn=E2=80=99t show them. I eventually had to ask=
for
help on IRC.</p>
<blockquote type=3D"cite"
style=3D"border-block-color: rgb(119, 119, 119); border-bottom-color: rgb=
(119, 119, 119); border-inline-color: rgb(114, 159, 207) rgb(119, 119, 11=
9); border-inline-start: 2px solid rgb(114, 159, 207); border-left: 2px s=
olid rgb(114, 159, 207); border-right-color: rgb(119, 119, 119); border-t=
op-color: rgb(119, 119, 119); color: rgb(119, 119, 119); column-rule-colo=
r: rgb(119, 119, 119); margin: 19.2px 0px; outline-color: rgb(119, 119, 1=
19); padding-inline: 16px; padding-left: 16px; padding-right: 16px; quote=
s: none; text-decoration-color: rgb(119, 119, 119); text-emphasis-color: =
rgb(119, 119, 119);">
<div dir=3D"ltr">
<div>Also, I have old repositories on CLNET that have a
"group" associated with them, while the new ones do not.<br>
<br>
</div>
<div>Is there a way for a user to manage "groups" directly?<br>=
</div>
</div>
</blockquote>
Aren=E2=80=99t the new ones in the group associated with your user =
id?
Mine are. There are others that have their own group; these were
created long ago. This includes things like f2cl, oct, series.
<blockquote type=3D"cite"
style=3D"border-block-color: rgb(119, 119, 119); border-bottom-color: rgb=
(119, 119, 119); border-inline-color: rgb(114, 159, 207) rgb(119, 119, 11=
9); border-inline-start: 2px solid rgb(114, 159, 207); border-left: 2px s=
olid rgb(114, 159, 207); border-right-color: rgb(119, 119, 119); border-t=
op-color: rgb(119, 119, 119); color: rgb(119, 119, 119); column-rule-colo=
r: rgb(119, 119, 119); margin: 19.2px 0px; outline-color: rgb(119, 119, 1=
19); padding-inline: 16px; padding-left: 16px; padding-right: 16px; quote=
s: none; text-decoration-color: rgb(119, 119, 119); text-emphasis-color: =
rgb(119, 119, 119);">
<div dir=3D"ltr">
<div><br>
</div>
<div>Thanks<br>
<br>
</div>
<div>Marco<br>
<br>
</div>
<div>(*) simpler than what you find around the net.<br>
<br>
--</div>
<div>MA</div>
<br>
</div>
</blockquote>
</div>
<div class=3D"mdhr-raw"
style=3D"height:0;width:0;max-height:0;max-width:0;overflow:hidden;font-s=
ize:0;padding:0;margin:0;"
aria-hidden=3D"true"
title=3D"MDH:PGJyPjxicj48ZGl2IGNsYXNzPSJtb3otY2l0ZS1wcmVmaXgiPk9uIDYvMjIv=
MjYgNDozMyBBTSwgTWFyY28gQW50b25pb3R0aSB3cm90ZTo8YnI+PC9kaXY+PGJsb2NrcXVvd=
GUgdHlwZT0iY2l0ZSIgY2l0ZT0ibWlkOkNBRzBOdzJtNmtoV0x2K1BXQWtKWmQwVDJaQnhEOX=
RxMEdac1NORnhqaGM4RmFuMjF6d0BtYWlsLmdtYWlsLmNvbSI+CjxtZXRhIGh0dHAtZXF1aXY=
9ImNvbnRlbnQtdHlwZSIgY29udGVudD0idGV4dC9odG1sOyAiPjxkaXYgZGlyPSJsdHIiPjxk=
aXY+SGk8L2Rpdj48ZGl2Pjxicj48L2Rpdj48ZGl2PkhhcyBhbnlib2R5IGRvbmUgdGhpcyBpb=
iBhIHNpbXBsZSAoKikgd2F5PzwvZGl2PjwvZGl2PjwvYmxvY2txdW90ZT5JdCdzIHJlbGF0aX=
ZlbHkgc2ltcGxlIHRvIG1pcnJvciBhIHJlcG8gdG8gZ2l0aHViLiZuYnNwOyBUaGF0IGhhcmQ=
gcGFydCBpcyBmaWd1cmluZyBvdXQgdGhlIG1hZ2ljIFVSTHMgdG8gdXNlIGJlY2F1c2UgaXQn=
cyBub3QgY2xlYXIuPGJyPjxicj5JIHNldCB0aGlzIHVwIGZvciBzb21lIG9mIG15IHJlcG9zI=
GFuZCBpdCB3YXMgcmVsYXRpdmVseSBzaW1wbGUuJm5ic3A7IEluc3RydWN0aW9ucyBhcmUgYX=
QgaHR0cHM6Ly9kb2NzLmdpdGxhYi5jb20vdXNlci9wcm9qZWN0L3JlcG9zaXRvcnkvbWlycm9=
yLzxicj48YnI+VW5mb3J0dW5hdGVseSwgSSBkaWRuJ3QgdGFrZSBub3RlcyBhbmQgSSBjYW4n=
dCBsb29rIHVwIHRoZSBtYWdpYyB2YWx1ZXMgdXNlZCBiZWNhdXNlIHRoZSBVSSBkb2Vzbid0I=
HNob3cgdGhlbS4mbmJzcDsgSSBldmVudHVhbGx5IGhhZCB0byBhc2sgZm9yIGhlbHAgb24gSV=
JDLjxibG9ja3F1b3RlIHR5cGU9ImNpdGUiIGNpdGU9Im1pZDpDQUcwTncybTZraFdMditQV0F=
rSlpkMFQyWkJ4RDl0cTBHWnNTTkZ4amhjOEZhbjIxendAbWFpbC5nbWFpbC5jb20iPjxkaXYg=
ZGlyPSJsdHIiPjxkaXY+QWxzbywgSSBoYXZlIG9sZCByZXBvc2l0b3JpZXMgb24gQ0xORVQgd=
GhhdCBoYXZlIGEgImdyb3VwIiBhc3NvY2lhdGVkIHdpdGggdGhlbSwgd2hpbGUgdGhlIG5ldy=
BvbmVzIGRvIG5vdC48YnI+PGJyPjwvZGl2PjxkaXY+SXMgdGhlcmUgYSB3YXkgZm9yIGEgdXN=
lciB0byBtYW5hZ2UgImdyb3VwcyIgZGlyZWN0bHk/PGJyPjwvZGl2PjwvZGl2PjwvYmxvY2tx=
dW90ZT5BcmVuJ3QgdGhlIG5ldyBvbmVzIGluIHRoZSBncm91cCBhc3NvY2lhdGVkIHdpdGgge=
W91ciB1c2VyIGlkPyZuYnNwOyBNaW5lIGFyZS4mbmJzcDsgVGhlcmUgYXJlIG90aGVycyB0aG=
F0IGhhdmUgdGhlaXIgb3duIGdyb3VwOyB0aGVzZSB3ZXJlIGNyZWF0ZWQgbG9uZyBhZ28uJm5=
ic3A7IFRoaXMgaW5jbHVkZXMgdGhpbmdzIGxpa2UgZjJjbCwgb2N0LCBzZXJpZXMuPGJsb2Nr=
cXVvdGUgdHlwZT0iY2l0ZSIgY2l0ZT0ibWlkOkNBRzBOdzJtNmtoV0x2K1BXQWtKWmQwVDJaQ=
nhEOXRxMEdac1NORnhqaGM4RmFuMjF6d0BtYWlsLmdtYWlsLmNvbSI+PGRpdiBkaXI9Imx0ci=
I+PGRpdj48YnI+PC9kaXY+PGRpdj5UaGFua3M8YnI+PGJyPjwvZGl2PjxkaXY+TWFyY288YnI=
+PGJyPjwvZGl2PjxkaXY+KCopIHNpbXBsZXIgdGhhbiB3aGF0IHlvdSBmaW5kIGFyb3VuZCB0=
aGUgbmV0Ljxicj48YnI+LS08L2Rpdj48ZGl2Pk1BPC9kaXY+PGJyPjwvZGl2PgoKPC9ibG9ja=
3F1b3RlPjxicj48dWwgY2xhc3M9ImRyb3Bkb3duLW1lbnUgdGV4dGNvbXBsZXRlLWRyb3Bkb3=
duIiBzdHlsZT0iZGlzcGxheTogbm9uZTsgcG9zaXRpb246IGFic29sdXRlOyB6LWluZGV4OiA=
xMDAwOyIgY29udGVudGVkaXRhYmxlPSJmYWxzZSIgcG9wb3Zlcj0iYXV0byI+PC91bD4=3D">=
&#8203;</div>
</body>
</html>
--------------YcEAZ1Fj4oTsa2CzkACRjzyw--