paulmillr

Most active GitHub users (git.io/top)

The count of contributions (summary of Pull Requests, opened issues and commits) to public repos at GitHub.com from Wed, 21 Sep 2022 till Thu, 21 Sep 2023.

Only first 1000 GitHub users according to the count of followers are taken. This is because of limitations of GitHub search. Sorting algo in pseudocode:

githubUsers
 .filter(user => user.followers > 1000)

mark-d-holmberg

<?php
	session_start();
	/*see if we can echo stuff*/
	//if( (!isset( $_SESSION['logged_in'] )) || (!isset( $_SESSION['username' )) )
	$logged_in = $_SESSION['logged_in'];
	$username = $_SESSION['username'];
//	$timestamp = $_SESSION['timestamp'];
	$session_id = $_SESSION['session_id'];

	//-------------------------