Search · single_user

GitHub’s search supports a variety of different operations. Here’s a quick cheat sheet for some of the common searches.

For more information, visit our search help section.

Basic search

This search	Finds repositories with…
cat stars:>100	Find cat repositories with greater than 100 stars.
user:defunkt	Get all repositories from the user defunkt.
tom location:"San Francisco, CA"	Find all tom users in "San Francisco, CA".
join extension:coffee	Find all instances of join in code with coffee extension.
NOT cat	Excludes all results containing cat.

Repository search looks through the projects you have access to on GitHub. You can also filter the results:

This search	Finds repositories with…
cat stars:>100	Find cat repositories with greater than 100 stars.
user:defunkt	Get all repositories from the user defunkt.
pugs pushed:>2013-01-28	Pugs repositories pushed to since Jan 28, 2013.
node.js forks:<200	Find all node.js repositories with less than 200 forks.
jquery size:1024..4089	Find jquery repositories between the sizes 1024 and 4089 kB.
gitx fork:true	Repository search includes forks of gitx.
gitx fork:only	Repository search returns only forks of gitx.

Code search looks through the files hosted on GitHub. You can also filter the results:

This search	Finds repositories with…
install repo:charles/privaterepo	Find all instances of install in code from the repository charles/privaterepo.
shogun user:heroku	Find references to shogun from all public heroku repositories.
join extension:coffee	Find all instances of join in code with coffee extension.
system size:>1000	Find all instances of system in code of file size greater than 1000kbs.
examples path:/docs/	Find all examples in the path /docs/.
replace fork:true	Search replace in the source code of forks.

Issue search looks through issues and pull requests on GitHub. You can also filter the results:

This search	Finds issues…
encoding user:heroku	Encoding issues across the Heroku organization.
cat is:open	Find cat issues that are open.
strange comments:>42	Issues with more than 42 comments.
hard label:bug	Hard issues labeled as a bug.
author:mojombo	All issues authored by mojombo.
mentions:tpope	All issues mentioning tpope.
assignee:rtomayko	All issues assigned to rtomayko.
exception created:>2012-12-31	Created since the beginning of 2013.
exception updated:<2013-01-01	Last updated before 2013.

User search finds users with an account on GitHub. You can also filter the results:

This search	Finds repositories with…
fullname:"Linus Torvalds"	Find users with the full name "Linus Torvalds".
tom location:"San Francisco, CA"	Find all tom users in "San Francisco, CA".
chris followers:100..200	Find all chris users with followers between 100 and 200.
ryan repos:>10	Find all ryan users with more than 10 repositories.

47	shouldRender: !config.single_user,
48	},
49	make_data_private: {
50	title: _l("Make All Data Private"),
…
52	description: _l("Click here to make all data private."),
53	icon: "fa-lock",
54	shouldRender: !config.single_user,

45	def __init__(self, app, maildomain=None, display_servers=None, admin_users=None,
46	single_user=None, remote_user_header=None, remote_user_secret_header=None,
…
53	self.single_user = single_user
54	self.config_secret_header = remote_user_secret_header
55	self.normalize_remote_user_email = normalize_remote_user_email

100	target: "__use_router__",
101	});
102	}
103	}
104
105	//
106	// 'Shared Items' or Libraries tab.
107	//
108	if (Galaxy.config.single_user) {
…
287	title: _l("Logout"),
288	onclick: userLogout,
289	hidden: Galaxy.config.single_user,

159	'use_remote_user': _defaults_to(None), # schema default is False; or config.single_user
160	'single_user': _config_is_truthy,
161	'enable_oidc': _use_config,

207	if (Galaxy.config.single_user && menuOption.singleUserDisable) {
208	return false;
209	}
210	if (isAnon && !menuOption.anon) {

1352	# protects Galaxy from improperly configured authentication in the
1353	# upstream server
1354	single_user = conf.get('single_user', None)
1355	use_remote_user = asbool(conf.get('use_remote_user', False)) or single_user
1356	if use_remote_user:
1357	from galaxy.web.framework.middleware.remoteuser import RemoteUser

302	'enable_beta_ts_api_install': _DeprecatedAndDroppedAction(),
303	'single_user': _ProductionUnsafe(True),
304	'tool_submission_burst_threads': _DeprecatedAndDroppedAction(),

103	`Pull Request 2158`_
104	* Implement ``single_user = <email>`` config option.
105	`Pull Request 2165`_
106	* More documentation and flexibility for FTP imports.

735	self.use_remote_user = self.use_remote_user or self.single_user
736	self.fetch_url_allowlist_ips = [
737	ipaddress.ip_network(unicodify(ip.strip())) # If it has a slash, assume 127.0.0.1/24 notation