Git

Posted Thursday, 17 September 2009 at 22:37 by Andrew Liu
Tagged: Git | web development
Read more blogs...

Git pull yields this response: "You asked me to pull without telling me which branch..."

After a few attempts, this becomes quite annoying. What do you do to fix it?

There are a few ways to solve this.

1. Delete and re-create the repository with "git clone <repo>". When I looked in the .git/config file in the newly cloned repository, I saw these magic settings:

[branch "master"]
  remote = origin
  merge = refs/heads/master

2. Of course, now that you know, you can hand edit this file yourself.

3. Or you can do it the 'git' way, properly

git config --list

Shows you the current configuration settings.

What you need to do is:

git config branch.master.remote origin
git config branch.master.merge=refs/heads/master

How Can WebTop Help?

Learn how people like you are using WebTop to solve their database needs

Web News

How humans and technology conspired to spoil the World Cup Final
The new Video Assistant Referee was supposed to ensure correctness in vital decision-making. It didn't.
--- 16 Jul 2018 10:02 PM

Macbooks for pros: How to decide among several workable options
For high-end pro Mac users, the choices have been pretty barren. But with the introduction of the 2018 MacBook Pros, options open up. Here's how to decide.
--- 16 Jul 2018 08:52 PM

Hacking campaign targets iPhone users with data-stealing, location-tracking malware
Campaign delivers fake versions of WhatsApp and Telegram to victims - and those behind it have tried to make it look like a Russian attack when it isn't.
--- 16 Jul 2018 08:28 PM

U.S. vs. China trade war likely to hit data center, IT spending
The tech sector has been largely spared from President Trump's trade war on China, but the latest batch of tariffs has enough to hit the gear that goes into data centers.
--- 16 Jul 2018 08:00 PM

Watch: A robotic race car zips around this historic track without a driver
A new autonomous racing series will use the same tracks as Formula 1. But will it be any fun without drivers?
--- 16 Jul 2018 07:27 PM