Tag: github

prevent authors from merging their own code on github

In order to gain some compliance certification we need to ensure that anyone putting code into master was not an author on that code, to prevent someone from single-handedly inserting malicious code. The approach I’m thinking of is to use master branch protection with a status check. We’ll have an intermediary branch that we merge […]

Push with Git Bash works, but fails with Git Gui

I’m hitting a weird roadblock with Git. I’m trying to push some code to GitHub using Git Gui. I’ve done this many times before, but this is the first time on this machine. I’ve set up the keys like I’ve done on my other machines, and added the public key to my GitHub account. But, […]

Creating initial wiki for new repositories

I’m creating multiple private repositories via GitHub API that should include predefined wiki pages. Wiki pages are handled via a separate git repository. Unfortunately creating a repository with the has_wiki flag turned on does not set up the wiki repository automatically. The Home document only seems to be created when I click on the Pages […]

GitHub: How to do code review on new file with more than 1500 lines

On a project that I work on, we have a major feature branch which is nearing a merge into the main branch. There are a lot of commits which shouldn’t reviewed individually, so I created a PR for the branch and looked at the per-file diff https://github.com/haskell/cabal/pull/2952/files However, there are a few new files which […]

VS2013 git – Project marked as pending delete

I recently wanted to try VS2013 and the Git tool for SC. Everything worked great until I did something, but dont know what… I created a nodejs application and pushed it to github. However, the “main” script was not directly into the root repo directory, so I manually created another repo to be able to […]

Git fetch says “success” but nothing is downloaded

I’m having some serious issues with git, and couldn’t find any solutions online. I’m a new user, so I may be doing something wrong… I have a repository hosted on Github, and someone on my team just pushed a new commit. Using Git GUI on windows, I attempted to fetch the new commit from Github. […]

How to create development branch from master on GitHub

I created a repo on GitHub and only have a master branch so far. My local working copy is completely up to date with the remote/origin master on GitHub. I now want to create a development branch on GitHub so that other people on my team can start pushing changes to development (instead of directly […]

Setting up Github on a new computer

I am an almost perfect beginner at Github so please humor me with this elementary question. I have a laptop PC that I’ve been using to interact with a repo on Github. I just bought a Mac and I would like to do my programming on both machines. I have installed Git on the new […]

Visual Studio 2015 Update 1 broke git repository interface

I am using Visual Studio 2015, and I have a git repository cloned directly from the Visual Studio. The recent update from Visual Studio from 2015 to Visual Studio 2015 Update 1 led to a malfunction in the git repository tracking changes menu (under ‘Team Explorer’ Changes). Therefore, no commits are allowed through the application […]

If we delete a branch on the server, can we automatically delete it in our local copy?

Usually, when I send Pull Requests on github, I would create a branch, make my changes, then ask them to merge that branch into their repo. Once that is done, on Github, I delete the branch (but github just hides it). I then permanently delete the branch on the Github site. Now that the remote […]

Git Baby is a git and github fan, let's start git clone.