Tag Info

Hot answers tagged

8

According to the GitHub Terms of Service, under section G. General Conditions, you'll find this: You may use GitHub subdomains (e.g., yourname.github.io) solely as permitted and intended by the GitHub Pages tool to host your company pages, personal pages, or open source project pages, and for no other purpose. You may not use GitHub subdomains in ...


6

It's just for fun. It's much the same as if you vote my answer up 100 times and I get a badge. If you could do that, I'll let you know if that or the gold star gives more virtual satisfaction. The advantage is more for GitHub, it's a very clever way of reducing support requests down to the absolute minimum text. If the same were applied to answers on this ...


4

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.


4

The server at github.io certainly does caching. I have a demo up an running over there and was able to determine that the server sets Last-Modified which allows a client to use If-Modified-Since and get 304 from the server if the data has not been modified since it was last fetched. The server also sets CacheControl: max-age=600. I'm not cache specialist ...


4

I don't think this can be done. Gmail allows multiple accounts running at the same time whereas there is no such mechanism on GitHub.


4

Go to Github, select any project at random, and start clicking links until you get to a source file that is displayed directly in the browser. Conclusion: it is possible for your email address in a source file posted to Github to be picked up by a bot. Whether it's likely or not is another story. Note that the authors of jQuery UI are not squeamish ...


4

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


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 ...


3

This is what they say officially: Popular repositories This lists your repositories with the most stars and watchers. Go you! But looking it over, the listing order/precedence comes out as: All repositories created by you All repositories you've forked Then it counts the contributors, stars and watchers in that order, on each of those to see ...


3

Yes, by referring to the commit SHA that added that tag. Look up the tag via the Branches/Tags dropdown list or in the Releases (since on GitHub releases are tied to tags). When you load up the tag, you can grab the commit SHA from the top of the file list, where it says, latest commit XXX {clipboard-icon} And then reference it as you normally would ...


3

Right now the only way to "remove" your name from the "Repositories contributed to" and "Repositories you contribute to" lists is to bury it with more commits on more active projects. The repos that show up there are based on two key ranking factors: Recent activity on the original repo Total commits by you accepted/merged into the repo So all you need ...


2

There are several possibilities: You have not pushed your commits up to Github. Unlike centralized version control systems, committing it git is done locally. When you have made commit(s) locally and want to synchronize your Github project page, you need to run 'git push' to send the commits upstream. Your commits were not on the master branch of a ...


2

To change the list of repos showing in "Repositories you contribute to" you'll need to change your commit behaviour. The "Repositories you contribute to" side box lists repos you've forked or have push access to (that belong to other users or organisations) with these ordering factors (based on observation): Recent activity by you or other users Total ...


2

This is an interesting question, because Github keeps a history of some activities you do each day, plus it has a "longest streak" record. I narrowed it down. I made a commit at 1am EST, and another at 6am EST. The 1am commit counted against the day before, and the 6am counted as the day of. This corresponds with the comment on this question, that Also, ...


2

I just wrote a simple script in Ruby just to do that, you can check it out here: https://github.com/siong1987/issues_importer


2

Try this: README.txt in:path (maybe you will need to click on "Code" on the left side of the search page)


2

It's gonna be easier. Go to the Forked Repo (yours) and just click green button. It will show you "switching base" message button. click it. Now it will automatically lead to your original repo. write some commit message and Click Create Pull Request button. Now it will lead to your forked repo automatically, click Merge pull request and Confirm ...


2

You cannot convert a private gist to public. You can also not convert a public gist to private. In both cases you have to repost under the new visibility setting.


2

Click on the color bar in the screenshot below: FYI: How does github figure out a project's language? (answer: using the linguist library)


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

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

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

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

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

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

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: ...


2

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 ...


2

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 ...


1

You can, starting from May 9th, 2014. Just click on "Edit Gist", there will be an option to change it private or public near delete button on the left of "delete gist" menu.



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