Hot answers tagged github
27
The big difference between watching and starring a project comes down to notifications.
If you are watching a repository, you will receive notifications for all discussions — project issues, pull requests, comments on commits and any other comments. If you’re not watching a repo you’ll just receive notification for the discussions you participate in.
On ...
9
You can try and reverse how pull requests happen.
Go to your fork
Issue a Pull Request
By default this will be your fork on the right (head repo) requesting to push its commits and changes to the original repo (base repo) on the left.
Click the drop down for both base repo and head repo and select each other's repos.
You want yours listed on the left ...
9
You may be missing the full path/location to the image you want to include in your Markdown file.
The example given is a relative path, where the image rests on the same server as the file. In the help, it would assume the image is actually located at:
https://github.com/images/logo.png
But that is not a valid file or location.
In order to make sure you ...
9
To get a list of users that have stared a repository you can append /stargazers to the url of the repository
If you have a repository at the following address
https://github.com/strugee/battleship
To see a list of users that have stared that repository visit the following url
https://github.com/strugee/battleship/stargazers
In github you can reach ...
7
Yes, GitHub now allows you to find an overview of all recent activity in a repository. This would include:
New/Closed Pull requests and Issues
Number of authors who made commits during the period specified
Number of commits made
Number of files changed
Number of lines added and removed
List of top contributors to the repository
It is possible to select ...
6
As mentioned on this thread of the GitHub Google group, repository owners can delete pages from the edit view.
The delete button might be easy to miss, since the buttons from the view mode:
...become only slightly different in edit mode:
Perhaps GitHub should consider making the interface more obvious (e.g. making the delete button red, or something ...
6
Generally, all config data like passwords and database info will be kept in a config file. To keep private data safe, I usually:
Create an example config file that is hosted with the project
Provide documentation on modifying the example to be the actual config (rename the file, replace variables, etc.)
Add the actual config file to .gitignore so that it ...
6
Zapier co-founder here, for anyone else curious about how you might do this yourself, Github has really killer API docs which show how to use their API to read/create your gists. Its kind of annoying as you'll have to "poll" for new entries and compare them across time, but it isn't infeasible. Using a standar RSS reader like Google reader is a simple ...
5
LinkedIn announced that they shut down the GitHub application, as of 26 November 2012. Now, LinkedIn only offers this, for sharing from Github:
You still have the option to share your code from GitHub on LinkedIn
by sharing links on your homepage or in groups.
In other words, you can share links from Github the same way that you share links from ...
5
You can contact a GitHub user by going to her/his user page (https://github.com/[USERNAME]) and on the left-hand site you should see her/his email address (if they have provided one).
For example, here's my user page: https://github.com/sobi3ch
5
The raw files for GitHub repositories are stored at:
https://raw.github.com/user/repository/branch/filename
For example:
https://raw.github.com/slhck/dotfiles/master/.zshrc
You can access this file by clicking the Raw button for a file:
5
Other than the web interface, you can also use the API that GitHub provides to query the users that starred your repository.
With the API, you can also check who is watching your repository, which I believe isn't possible in the web interface.
4
You got it almost right, you'll have to add the other email to your profile settings. However, Github picks up the first listed email address for your gravatar.
So you'll have to remove the email ids such that the preferred gravatar email id bubbles up. Once done, you can re-add the removed email ids.
4
Your wish is their new feature
If the commit is not on the default branch, the indicator will show the branches which contain the commit. If the commit is part of an unmerged pull request, a link will be shown.
Once the commit makes it to the default branch, any tags that contain the commit will be shown, and the default branch will be the only ...
4
There is no keyboard shortcut to automatically indent a block of code.
You will either have to find a browser extension, like a userscript, or write one yourself. Or just add the four leading spaces as you would now.
You can see a list of current GitHub keyboard shortcuts by Shift + ? and clicking "See all" when on any GitHub page.
4
Well, gists are repositories in their own right - you can clone them, they have history.
Can you just create a repository on github, clone your gist, add the github repository as a new remote, then push to it? It should now contain your gist contents including revision history.
Pretty sure this would require the commandline or some other UI tool that lets ...
4
This is by design as you should not be serving or linking to raw files in this manner.
It could also be seen as abuse of their services as linking to the raw file is using GitHub as a content delivery network (CDN).
Instead, you need to make use of the GitHub Pages feature and link to the file from there. Which, when you build your pages will be along the ...
3
GitHub's language detection is done by the Linguist module, which is conveniently open source. It relies primarily on the file extension to detect the language, although it can be a bit clever to detect ambiguous files (such as .h files). As you can see from the configuration file, .c is firmly defined as a C file. Given the number of files that have to be ...
3
While there's no canonical way to contact a user, github recently introduced a Mention @anybody, they're notified feature.
When you @mention a GitHub username anywhere in the context of an issue or pull request, that person is notified and subscribed to future updates.
You can also create a gist & mention him in the comment, thereby notifying the ...
3
Git relies on the fact that SSH allows you to execute commands on a remote server.
If you run a command like git clone tom@github.com:username/repo, what Git is doing behind the scenes is SSHing to github.com, authenticating as the tom user, and then remotely executing git upload-pack username/repo. Now your client can talk to that process on the remote ...
3
In response to the answer above:
As of January 30th, 2013, GitHub now allow relative links.
Make sure that you append ?raw=true to the end of the URL, though. Here is an example:
Due to the way GitHub handles URL's, if you do not append ?raw=true to the source URL your browser will attempt to ...
3
Natively from a GitHub account? No.
If you want to try something else, consider adding an image or similar web bug to your README file.
When someone comes across your repo, provided your README has an extension that GitHub will automatically render, then it should also load the image. And that should, depending on how the web bug is set up, give you some ...
3
So here's a crazy hack. If you create a new github account and make a bunch of gists, you can then convert that account into an Organization and the gists stay associated with the new Organization.
Big caveat: you won't be able to create any new gists for that Organization. But you can edit existing ones. :-\
3
GitHub Pages often take a few minutes to show up, especially on the first creation of the gh-pages branch. From the default 404 page:
There isn't a GitHub Page hosted here, sorry.
Are you trying to publish one?
We'll send you an email when your page has been built. It may take up to ten minutes until your page is available.
(emphasis added)
3
A longer alternative is to checkout the repository for the wiki and manually delete the file containing the page contents using git rm and then checking in the changes back to the wiki repository.
Useful if you can't find the delete button on the web interface, or you are more of the command line user.
3
You should be able to just pull down the other repo and have it merge with yours.
git pull {url-of-repo-with-commit-you-want-to-merge-in}
This will fetch the repo mentioned and have it automatically fast forward merge in any commits you don't have into yours.
So in your example, while on your master branch, or if you want to test it out on some other ...
3
Yes, it is possible to have multiple GitHub Pages sites within one account. Create another GitHub repository and push your site files to the gh-pages branch. This would result in the site being hosted at tshepang.github.io/<repo-name>.
Now, push another file "CNAME" to the same repository and branch and fill it with movies.tshepang.net. Log in to your ...
2
Painstakingly and one by one.
There isn't anything to show you at a glance all your project forks which share the same commit revision history or are different in some way to the original repo.
For each of the original repos you want to compare against, click on their respective Network Graphs at the following URL type:
...
2
mediawiki-core is mirrored on GitHub, so that should work for the first part of your question.
More generally, I don't know of a service that will automatically show a network graph for any Git repository.
2
You didn't specify your exact circumstances so this answer may not be what you want, but if you are using Windows you can install Github for Windows, which allows you to do all the regular Git operations without the command line.
You would need to first check out the repo to a folder, delete the file from the folder (i.e. in Windows Explorer), then commit ...
Only top voted, non community-wiki answers of a minimum length are eligible
