Archive

Posts Tagged ‘github’

Atom 1.0 has arrived

June 27, 2015 Leave a comment

Atom is a text editor that’s modern, approachable, yet hackable to the core—a tool you can customize to do anything but also use productively without ever touching a config file.” (source)

This text editor is developed by GitHub. I remember the early versions didn’t exist for Linux, so I was disappointed, but this is no longer an issue. The editor is cross-platform and since version 1.0 came out, I decided to give it a try.

It’s very similar to the excellent Sublime Text editor. It’s visible that they copied lots of things from it :) However, ST is not open source and there is one guy behind ST, Jon Skinner. Atom is fully open source with a large community behind it that is hard to beat…

Question
How to use Atom for Python editing?

Answer
I found a blog post that can get you started: http://www.marinamele.com/install-and-configure-atom-editor-for-python . In addition, I also installed the package ‘script‘ that lets you run your script inside Atom.

Atom has the nice feature to change your settings via a GUI. In ST you need to edit JSON files directly.

All in all, Atom seems to be a nice editor. It’s still version 1.0, so I’m sure it’ll improve a lot, but I already like it.

GitHub status page

https://status.github.com/messages

If GitHub is down or slow, visit the address above to figure out what’s going on.

Categories: Uncategorized Tags:

Git push requires username and password

September 15, 2014 Leave a comment

Problem
You want to push a new project to github, but it asks for your username and password each time.

Solution
I found the solution here. Here I copy Davide‘s answer (reformulated a bit):

First, check the remote repository:

git remote -v

which will respond something like

origin  https://yourname@github.com/yourname/yourrepo.git (fetch)
origin  https://yourname@github.com/yourname/yourrepo.git (push)

Execute the following command:

git remote set-url origin git@github.com:yourname/yourrepo.git

Notice that you need to do some transformations: “https://yourname@” is replaced with “git@“, and “/yourname” becomes “:yourname“.

Now “git push” should work fine.

Categories: Uncategorized Tags: ,

how to create a pull request on GitHub

June 20, 2014 Leave a comment

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.

Categories: Uncategorized Tags: ,

Find API keys on GitHub

March 4, 2013 Leave a comment

Problem
You need an API key for a service (like Google or Imgur) and you want to use someone else’s key. Naturally, this is just a theoretical problem.

Solution
This blog post shows how to harvest API keys. In short:

  • visit GitHub’s advanced search page
  • type in a keyword (for instance “AIza” for Google API keys)
  • hit the Search button and choose Code on the left side

GitHub: create a new repository and start using it

December 27, 2012 Leave a comment

Problem
You want to create a new GitHub repository and you want to use it right away, i.e. you want to upload some content.

In the past, GitHub showed a detailed step-by-step help for all this, but it got removed :(

Solution
On the main page of GitHub, there is a button called “New repository”. Click on it, fill out the fields and create the repo. Now it’s on GitHub.

The next step is to clone it on your local machine:

git clone git@github.com:username/project.git

Here use the URL that starts with “git@github.com”! Not the one with “https://“. Once I cloned the “https://” and then it kept asking my username and password at each commit :(

Now you can perform your local changes. When ready, upload the changes to github:

git push origin master

More info here.

Update (20131216)
If you need to upload your SSH key, follow this guide.

GitHub: contact watchers

September 7, 2011 Leave a comment

Problem
You want to contact all the watchers of a project. For instance, you want to notify them about some radical changes.

Solution
Simply click on the “Eye” icon that shows the number of watchers. It will list your followers.

Or, you can get the list of watchers through an API:

curl http://github.com/api/v2/json/repos/show/USERNAME/REPONAME/watchers?full=1 | python -mjson.tool

More info about the Repositories API: here. General information about the APIs: here.

Categories: Uncategorized Tags: , , , ,
Follow

Get every new post delivered to your Inbox.

Join 81 other followers