> From: "Richard Earnshaw (lists)" <richard.earns...@arm.com> > Date: Tue, 21 Jan 2020 14:36:32 +0100
> Correction, the branch should be named <vendor>/<branch>, so the push > should be > > git push vendors/<vendor> <vendor>/<branch> > > For example, for the ARM vendor, the push would be > > git push vendors/ARM ARM/<branch> > > R. > > > will work as expected. > > > > Run the script as > > > > contrib/git-add-vendor-branch.sh <vendor>/<branch> <start-point> > > > > the <vendor> space must have previously been set up in the way > > git-fetch-vendor.sh expects. > > > > * git-add-vendor-bransh.sh: New file. (typo "bransh") Thanks, this and your previous reply certainly helped! Any chance of a git-add-user-branch.sh too, while you're at it? Or maybe it's just the corresponding push command in there, that's needed. brgds, H-P
