oussaki

<?php session_start();

$connect = mysql_connect( "localhost", '******', "******");
mysql_select_db("******");



$url = 'https://android.googleapis.com/gcm/send';
$headers = array(
  'Authorization: key=' . '******',

oussaki

<?php 
// Server file
class PushNotifications {
	// (Android)API access key from Google API's Console.
	private static $API_ACCESS_KEY = 'AIzaSyDG3fYAj1uW7VB-wejaMJyJXiO5JagAsYI';
	// (iOS) Private key's passphrase.
	private static $passphrase = 'joashp';
	// (Windows Phone 8) The name of our push channel.
        private static $channelName = "joashp";
	

oussaki

Push an existing repository

$ git remote add origin git@github.com:username/new_repo
$ git push -u origin master]

Go one step back in history

git checkout @~1