You want to push a new project to github, but it asks for your username and password each time.
First, check the remote repository:
git remote -v
which will respond something like
origin https://email@example.com/yourname/yourrepo.git (fetch) origin https://firstname.lastname@example.org/yourname/yourrepo.git (push)
Execute the following command:
git remote set-url origin email@example.com:yourname/yourrepo.git
Notice that you need to do some transformations: “
https://yourname@” is replaced with “
git@“, and “
/yourname” becomes “
Now “git push” should work fine.
Wandbox is a project that allows you to try several languages in your browser. Just paste the code and Wandbox will compile/interpret it and show you the result.
The service can be called via an API too! The API doc. is here: https://github.com/melpon/wandbox/blob/master/kennel/API.rst.
At my workplace I got a new monitor (27″) that came with an HDMI cable. I connected the monitor and the PC but the monitor displayed a “No signal” error. I tried it with a VGA cable and it worked fine but the screen was not sharp enough. I had the impression that the lower quality was caused by the VGA cable. Hmm, how to make that HDMI connection work?
The solution is trivial. You need to select HDMI connection in the settings of your monitor, in the menu :) Really, that’s all. And the difference is clearly visible. Now my screen is sharp, much better than the VGA. So if you have HDMI connection, use it.
“Stypi is a realtime editor that allows multiple users to make changes to a single document at the same time. All you need to do is share the URL with others to begin collaborating!
This editor also supports programming languages that you can access by clicking on the “</>” button on the top left. For more information on how to use Stypi please click the FAQ link on the bottom left.” (source)
Explained step by step here: http://stackoverflow.com/questions/14680711/how-to-do-a-github-pull-request/14680805#14680805.
In short: fork the repo you want to contribute to; clone it to your local machine; do the changes, commit, then push it back to your repo. Then create the pull request on the web interface of github: visit your repo and click on the “pull request” button. Fill out the necessary information and create the pull request. The project’s owner will be notified about your contribution.