You can use the following flags –single-branch && –depth to download the specific branch and to limit the amount of history which will be downloaded. You will clone the repo from a certain point in time and only for the given branch git clone -b <branch> –single-branch <url> –depth <number of commits> –[no-]single-branch Clone only … Read more
If you go to the page and view the links provided by “raw” (in the top left corner, when viewing the file). You will see, that you can access it by: https://github.com/username/repository/raw/$changeset_hash/path/to/file Instead of $changeset_hash you can also provide a branch (e.g. master) or tag. You can retrieve the raw file using something like wget. … Read more
Open the Github notebook that you want to work with in Google Colab. Change the domain from ‘github.com‘ to ‘githubtocolab.com‘. The notebook will open in Colab. Only works with Public repos.
The easiest way to find a file in a repository is to use the file finder. You can activate it at any time when you are in repository view by pressing t. See this screenshot from the official annoucement: The file finder will perform some fuzzy matching using the characters you input into the “search … Read more
Problem solved. Open command prompt as administrator and run the following commands: netsh interface tcp show global netsh interface tcp set global autotuninglevel=normal netsh interface tcp show heuristics netsh interface tcp set heuristics disabled Do not forget to restart the computer in the end. The cause was auto tuning was set to disabled for some … Read more
There is simply not a “Import issues from JIRA” feature in GitHub. The way I see it you have two options, either to integrate your current JIRA instance with GitHub or migrate the JIRA issues into GitHub issues using your own criteria and migration script. GitHub and JIRA Integration I would very much like to … Read more
There are a number of workflows you can use here. Some examples are: Comment on the pull request, and have Bob make some changes. See Pull Request Discussion for more info. Merge the pull request onto a different branch, then make your changes before merging to master. You need to do this from the command … Read more
Edit This extension is no longer needed as this answer shows GitHub now implements this functionality natively Previous I wrote a chrome extension to enable this. Source on github.
No one has clearly mentioned this, but the github raw urls expire in 7 days. You can use longer lasting personal access tokens generated here: https://github.com/settings/tokens but those can only be used via curl: curl -H ‘Authorization: token <personal_token>’ <raw_url> Note that the personal access tokens expire if unused for an entire year.
My solution was to change the Git version from ‘Use Embedded Git’ to ‘Use System Git’. Because I installed GitHub on my computer earlier, it seems SourceTree chose that Git by default rather than download the embedded version when it was installed.