Tag Info

Hot answers tagged

18

Git has a separate concept of the author (the person who wrote the code) and committer (the person who committed it to the repository). Similarly there can be different dates for both. They are usually the same. You'd want them to be different primarily if the person writing the code or submitting the patch does not have push access to the repository as ...


8

You can exclude search results on GitHub using a minus sign. So to search for all issues not labelled as bugs, you could put the following into a search: type:issue -label:bug Source.


8

Your GitHub account password and SSH key(s) used to connect with repos hosted on GitHub are two different set of credentials. You can change one without affecting the other.


6

This looks like a mix between how Git works with dates and how it was referenced with GitHub's closing keywords. Git separates between commit and author dates. In Pro Git they go a bit into the difference: The author is the person who originally wrote the work, whereas the committer is the person who last applied the work. So, if you send in a patch to ...


6

The GitHub robots.txt does explicitly disallow crawling of the wiki pages, for example in the Googlebot section: User-agent: Googlebot Allow: /*/*/tree/master Allow: /*/*/blob/master ... Disallow: /*/*/wiki/*/* As this is the site-wide robots file, there isn't any getting around it. It is an interesting choice, since GitHub describes wikis as a place to ...


5

You only really need to add .atom to the end of most branch views to get the corresponding RSS feed of its commits. https://github.com/{username}/{repo}/commits/master.atom The above will show the RSS feed for commits against the master branch. If you wanted to see commits for another branch, change accordingly: ...


5

The best way to solve this problem is to set up a second account for your work. That's the most secure way. It's better if everything is strictly seperated.


4

For your second app you are wanting to publish, create a new repo using any name (e.g. myapp). Then publish a branch named gh-pages to that repo. Your new app should then be available at http://USER.github.io/REPO. So, for our example, username.github.io/myapp. For a detailed guide on these steps, see the Creating Project Pages Manually guide. The ...


4

I have not tried this but here seems to say your answer is No/Yes in that order:


4

According to GitHub's robots.txt, the only section Google is allowed to index is the master branch of a project, so your account will only be indexed if you have one of those in your project (and it isn't private). If you have a master branch then it could just be that Google hasn't gotten to you yet. You can try submitting your URL which might speed ...


3

Almost. You can search for Android apps based on the fact that they all contain an AndroidManifest.xml file in the repository. Part of that XML will include some fragment of code similar to: <uses-sdk android:minSdkVersion="8" /> So you need to search that, like so: "android:minSdkVersion" extension:xml This will only bring up the files that ...


3

Service There is some basic Github/Twitter integration in standard Github Services. Go to repository settings. Select Webhooks/Services from menu on left. There using Add Service drop-list button you can add Twitter service. Configuration is minimal, and twit is created for almost every commit, but it might be just enoug. And there is similar thing for ...


3

Go to the Watched repositories page that shows all the repos you are watching. Account Settings (Tools icon in upper right) → Notification center → Watching On the right sidebar you'll see this: ☑ Automatically watch When you’re given push access to a repository, automatically receive notifications for it. If you uncheck or untick that box ...


2

If users are active on GitHub, you might be able to catch their email address from a commit log or open up an issue on a project they are working on. If they are inactive however and don't have a visible email or repository there doesn't seem to be a direct way. I came up with this workaround that might be worth a try in extreme cases: create an empty ...


2

Check out the repository and look for their email address in the Git log.


2

Actually you can search for issues across repositories by including the author:$author. Here is an example that searches for all issues created by me across all repos.


2

On each user profile it will only show the commit chart and description for the last 15 recently active repositories. Those outside the top 15 will not show that information. It probably has something to do with performance, and GitHub chose 15 repos as the cut-off point.


2

Click on the arrow at the upper left of the screen. Click Configure Integrations Click on Github Choose the channel you want news to be posted to Authentify Select the repository and branch to get news from Select the type of news you want Click Save integration


2

That is done by using a code block with the "diff" syntax. The raw markdown would look something like this: One small step for ```diff -man +humankind ``` I've made a gist also that demonstrates the code (click "Raw" to view the markdown).


2

My team ran into similar problems: a bug tracking system is great for logging all bugs and new functionality to be built, but we needed something more to help us prioritize and work together. The process we developed and that works really well for us is a combination of a bug tracker (BugZilla in our case) and Trello. Trello is a superb piece of web software ...


2

There is currently no way via the GitHub web interface to see the diff between any two points of your gist revisions. The alternative is to download the Gist and then reupload it to your main GitHub account as a full repository and then modify the URL as needed, like the following: ...


2

Pretty much the opposite of this question. Since the only part of the repository that GitHub's robots.txt permits search engines to crawl is the master branch, if you remove or rename that then your repository won't be crawled. If you don't want that, the only other options are to not use GitHub or pay for an account which lets you have private ...


2

If GitHub won't show you the network graph because there are too many forks, try the Members tab instead. You may still get the following warning: Woah, this network is huge! We're showing only some of this network's repositories. but at least you'll be able to see some of the forks.


2

The question you linked shows a way to upload text files. Unfortunately there doesn't seem to be a way to upload binary files. Zapier seems to provide ways to upload files (via pull requests) from third party web-apps like Dropbox, Google Drive, … to Github. For Dropbox I found this: Dropbox New File in Directory to Github Create Pull Request GitHub Pull ...


1

Github's never had openID authentication, so your only option is to create an account.


1

This would be about Git remotes. When you fork in GitHub, the "source" repo will be considered a remote for the new fork. When you clone to your machine, and push back to a new GitHub repo, although the commits (and hashes for them) will be the same, GitHub will not have that "remote" relationship, which means it won’t have the relationship to send a "pull ...


1

A Github readme needs to be called readme to be picked up. GitHub supports the extensions listed below, you can read more details on the markdown readme file. Markdown: .markdown, .mdown, .mkdn, .md Textile: .textile RDoc: .rdoc Org mode: .org Creole: .creole Mediawiki: .mediawiki, .wiki reStructuredText: .rst AsciiDoc: .asciidoc, .adoc, .asc Plain Old ...


1

No, that's not possible. Public repo means it's accessible to all without any interstitials.



Only top voted, non community-wiki answers of a minimum length are eligible