Git

4568 readers
10 users here now

Git is a free and open source distributed version control system designed to handle everything from small to very large projects with speed and efficiency.

Resources

Rules

  1. Follow programming.dev rules
  2. Be excellent to each other, no hostility towards users for any reason
  3. No spam of tools/companies/advertisements. It’s OK to post your own stuff part of the time, but the primary use of the community should not be self-promotion.

Git Logo by Jason Long is licensed under the Creative Commons Attribution 3.0 Unported License.

founded 2 years ago
MODERATORS
1
2
3
 
 

Do you use some GUI, TUI, terminal commands, plugins for other software?

Ideally, I want to find a cross-platform GUI app, preferably a FOSS one, and with as less overhead as possible, e.g. no Electron.

4
5
6
7
8
9
10
11
12
13
14
15
16
 
 

Hey you, yes you 🫵🏻! You created that awesome project on #GitHub or #GitLab. What if Trump cut off connections between the US and #Europe . What would you do without European developers? It's time to think about a fallback solution!

This link is a #GitHub or #Gitlab to @Codeberg@social.anoxinon.de mirroring tutorial

#FreeYourCodeFromUS

17
18
19
 
 

I have a repo that I want to push to codeberg. First, I tried to push to create and got the message

$ git push --mirror
Forgejo: Push to create is not enabled for organizations.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.

So I created a new repo, but wasn't allowed to push until I had pulled - which just deleted all my local files 🙄

So - what do I do?

20
21
22
23
24
25
view more: next ›