[9fans] github mirror status

[9fans] github mirror status

[Roman Belenov]

[-- Attachment #1: Type: text/plain, Size: 413 bytes --]

Hello,

Just noticed that https://github.com/9front/9front didn't sync for a few days - is it temporary? Looks like it's a handy way to keep/share local changes.

Regards, Roman

------------------------------------------
9fans: 9fans
Permalink: https://9fans.topicbox.com/groups/9fans/T2a9f9f77bdb28cec-Mbb6c4696b6db87fefb6297a2
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription

[-- Attachment #2: Type: text/html, Size: 1045 bytes --]

Re: [9fans] github mirror status

[Jacob Moody]

On 4/7/25 01:43, Roman Belenov wrote:
> Hello,
> 
> Just noticed that https://github.com/9front/9front <https://github.com/9front/9front> didn't sync for a few days - is it temporary? Looks like it's a handy way to keep/share local changes.
> 
> Regards, Roman
> 

We use a separate repository to actually run the actions which syncs the upstream repo to github.
In a cost saving measure, github stops allowing scheduled CI runs to continue after the repository hasn't been changed
for more than 30 days. So every once a month or so I go in and click the button to continue the action.


------------------------------------------
9fans: 9fans
Permalink: https://9fans.topicbox.com/groups/9fans/T2a9f9f77bdb28cec-Me1fb36c4b8438ece54fdac01
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription

Re: [9fans] github mirror status

[ori]

Quoth Roman Belenov <rbelenov@gmail.com>:
> Looks like it's a handy way to keep/share local changes.

I don't understand what you mean by this; local changes
should work with any version of git, and the git we ship
with plan 9 is designed to make local changes easy.


------------------------------------------
9fans: 9fans
Permalink: https://9fans.topicbox.com/groups/9fans/T2a9f9f77bdb28cec-Mc4b68d41af1d67e6cdd7bf79
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription

Re: [9fans] github mirror status

[Roman Belenov]

[-- Attachment #1: Type: text/plain, Size: 1240 bytes --]

Yes, local branches (on local computer) work fine with shithub; however, as far as I see, there is only one branch (front) on shithub server, and I guess it's not intended as a place for local forks for random people. However, I'd like an easy way to store local branch somewhere on the net; github is a reasonable place, and local fork of mirror repository suits me - it's easy to push local changes and sync with upstream.
 Actually, already had to reinstall once and restore from personal github branch.  I didn't understand WORM nature of cwfs and it flopped after the cache filled up; tried hjfs, found that it doubles compilation time and moved the installation to gefs.

BTW What is the correct way of transferring 9front installation to different drive? dircp worked for me, but it changes files ownership (seems not a big deal when working as glenda) and probably where are other caveats. Recommended way for Linux involves lots of rsync switches to preserve as much as possible.

Regards, Roman

------------------------------------------
9fans: 9fans
Permalink: https://9fans.topicbox.com/groups/9fans/T2a9f9f77bdb28cec-M58f4eceb61d55486e052aaa8
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription

[-- Attachment #2: Type: text/html, Size: 1844 bytes --]

Re: [9fans] github mirror status

[Roman Belenov]

[-- Attachment #1: Type: text/plain, Size: 330 bytes --]

> So every once a month or so I go in and click the button to continue the action.
I see, thank you!
------------------------------------------
9fans: 9fans
Permalink: https://9fans.topicbox.com/groups/9fans/T2a9f9f77bdb28cec-M6b7ed9d5b0046b080a0b5a04
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription

[-- Attachment #2: Type: text/html, Size: 846 bytes --]

Re: [9fans] github mirror status

[ori]

Quoth Roman Belenov <rbelenov@gmail.com>:
> Yes, local branches (on local computer) work fine with shithub; however, as far as I see, there is only one branch (front) on shithub server, and I guess it's not intended as a place for local forks for random people. However, I'd like an easy way to store local branch somewhere on the net; github is a reasonable place, and local fork of mirror repository suits me - it's easy to push local changes and sync with upstream.

sure, but git doesn't care where you clone from:

        cd /dist/plan9front && git/push -u git+ssh://github.com/$your/$repo

will work just fine with the repo as we ship it (if not,
let me know -- that's a bug). You can also add it to the
git config:

        echo '[remote "mine"]
                url=git+ssh://your-repo
        ' >> /dist/plan9front/.git/config

I'm not sure what a github mirror is supposed to add here.

git is a distributed source control system; you can host
anywhere, pull from anywhere, and push to anywhere.

>  Actually, already had to reinstall once and restore from personal github branch.  I didn't understand WORM nature of cwfs and it flopped after the cache filled up; tried hjfs, found that it doubles compilation time and moved the installation to gefs.
> 
> BTW What is the correct way of transferring 9front installation to different drive? dircp worked for me, but it changes files ownership (seems not a big deal when working as glenda) and probably where are other caveats. Recommended way for Linux involves lots of rsync switches to preserve as much as possible.
> 

mkfs(8).

------------------------------------------
9fans: 9fans
Permalink: https://9fans.topicbox.com/groups/9fans/T2a9f9f77bdb28cec-Macac5c67822bcb64826574a4
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription

Re: [9fans] github mirror status

[sirjofri via 9fans]

08.04.2025 06:16:27 Roman Belenov <rbelenov@gmail.com>:

> Yes, local branches (on local computer) work fine with shithub; however, as far as I see, there is only one branch (front) on shithub server, and I guess it's not intended as a place for local forks for random people. However, I'd like an easy way to store local branch somewhere on the net; github is a reasonable place, and local fork of mirror repository suits me - it's easy to push local changes and sync with upstream.

Keep in mind that what GitHub promotes with its forks is not the way git is intended to be used. You're supposed to just clone the repo and push it to another remote. You can do that with GitHub or any other git provider, or put it on any server you like or own.

I often see people forking my repos and never doing any changes. Seems to be a social feature at this point, like some kinda repost or something.

sirjofri

------------------------------------------
9fans: 9fans
Permalink: https://9fans.topicbox.com/groups/9fans/T2a9f9f77bdb28cec-Mf7c8bde636683e2ed00460e2
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription

Re: [9fans] github mirror status

[Roman Belenov]

[-- Attachment #1: Type: text/plain, Size: 336 bytes --]

PS Looks like dircp/tar should preserve ownership, but I ended up with files owned by glenda instead of sys.
------------------------------------------
9fans: 9fans
Permalink: https://9fans.topicbox.com/groups/9fans/T2a9f9f77bdb28cec-M0dc526e4c5e8783c5ff606d3
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription

[-- Attachment #2: Type: text/html, Size: 824 bytes --]

Re: [9fans] github mirror status

[Daniel Maslowski via 9fans]

[-- Attachment #1: Type: text/plain, Size: 1154 bytes --]

On Tue, 8 Apr 2025, 14:27 sirjofri via 9fans, <9fans@9fans.net> wrote:

> Keep in mind that what GitHub promotes with its forks is not the way git
> is intended to be used. You're supposed to just clone the repo and push it
> to another remote. You can do that with GitHub or any other git provider,
> or put it on any server you like or own.
>
> I often see people forking my repos and never doing any changes. Seems to
> be a social feature at this point, like some kinda repost or something.
>

This is for many reasons, e.g. the fork mechanism can easily reflect the
relationships between people and orgs, and people can contribute to
upstream without having to establish access rights first. It does happen
that people create forks and never push anything to the public. It may also
serve as a collection thing. Bookmarks are one thing, repo collections
another. There are so many aspects to this. :-)


------------------------------------------
9fans: 9fans
Permalink: https://9fans.topicbox.com/groups/9fans/T2a9f9f77bdb28cec-Ma0b87abe63aaa66655a997ad
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription

[-- Attachment #2: Type: text/html, Size: 2107 bytes --]

Re: [9fans] github mirror status

[Roman Belenov]

[-- Attachment #1: Type: text/plain, Size: 391 bytes --]

Thank's everyone! I didn't consider git usage with different remotes for push and pull; agree that it fits in git commit-centered philosophy, will keep it in mind.
------------------------------------------
9fans: 9fans
Permalink: https://9fans.topicbox.com/groups/9fans/T2a9f9f77bdb28cec-M7f189a151f8e89e50e485ed3
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription

[-- Attachment #2: Type: text/html, Size: 893 bytes --]