PRO tag refers to https://github.com/pro
GitHub today (07.01.2019) announced that it is changing the name of the GitHub Developer suite to GitHub Pro. The company says it’s doing so in order to "help developers better identify the tools they need".
In other words, all Pro (and Edu) users have that PRO tag.
Honorable mention: Historically GitHub always ...
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.
You can view issues you've commented on by using the following search string in your Issues page search box:
(Replace username with your GitHub username.)
This will show all issues that you've commented on. To show only open issues, add the is:open qualifier.
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 ...
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 (...
Click on the "Insights" tab of the repository that you want to see the oldest commit, followed by the "Network" sub-tab on the left menu bar. When the page is fully loaded (i.e. you can see lots of lines joining and all), press Shift+← to go all the way to the first commit. Click on the dot that represents the first commit and you can get it.
It is possible to create a new folder from the web interface, but it would require you to have at least one file within the folder when creating it.
When using the normal way of creating new files through the web interface, you can type in the folder into the file name to create the file within that new directory.
E.g. If I would like to create the file ...
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:
But that is not a valid file or location.
In order to make sure you ...
I know this is an old question, but I don't see a very detailed answer of the possibilities to strikethrough your text. So here's my answer:
There are several ways to do it:
<strike>stike</strike> → strike
<del>strile</del> → strike
<s>strike</s> → strike
~~strike~~ → ~~strike~~
~strike~ → ~...
This update came with the "New year, new GitHub" blog post.
It indicates you got the "GitHub Pro" plan. (it used to be called "GitHub Developer" pack)
GitHub Developer is now called GitHub Pro. It includes everything in GitHub Free, unlimited collaborators for private repositories, and advanced code review tools for private and public repositories.
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 ...
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 like ...
It's gonna be easier.
Go to the Forked Repo (yours) and just click button - "New pull request".
On the page that opens, there is a small link to "switching base" in the message underneath the dropdownselects. Click the link.
Now it will automatically lead to your original repo. Click Create Pull Request button and write some commit message.
Now it ...
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 ...
I just stumbled across an app called Stargazers forks which lets you see all the forked versions of a repo regardless of how many forks there are. You can sort by number of issues, stars, or last updated.
For example: http://forked.yannick.io/odoo/odoo
If you're viewing the contents of the file itself there should be a "Raw" button.
You can either:
Right-click on that and select the "Save content as..." (or similar depending on your browser)
Click through to see the contents dumped onto the screen and save from there
It's now a baked in feature under the GitHub Traffic section.
You can now see detailed analytics data for repositories that you're an owner of or that you can push to. Just load up the graphs page for your particular repository and you'll see a new link to the traffic page.
The old method used to be some hack like adding an image or similar web bug to ...
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 ...
Github uses content-disposition: attachment for PDFs, which downloads the file automatically on github.com. You can host the file on a static page provided by GitHub which can link to this file and update as you update the PDF. For that, you can see github pages.
Create a repo named USERNAME.github.io.
In that repo, click Settings then click ...
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 ...
As of May 23th, 2018 much of this seems to have changed.
From the terms of service
I. Additional Terms for GitHub Pages
Short version: The GitHub Pages hosting service is subject to certain rules, in addition to the rest of the Terms.
Each GitHub account comes with access to the GitHub Pages static hosting service. This hosting service is ...
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. :-\