|
From: | Emanuel Berg |
Subject: | Re: Resources for an old newbie ? |
Date: | Thu, 08 Jun 2023 10:39:01 +0200 |
User-agent: | Gnus/5.13 (Gnus v5.13) |
Conclusion of discussion: 'git fetch' and 'git merge' can be replaced by 'git pull'. -- underground experts united https://dataswamp.org/~incal
[Prev in Thread] | Current Thread | [Next in Thread] |