Should we avoid loading branches?

Property definitions

github $ LoaderConfig :: no_branches
	# Should we avoid loading branches?
	fun no_branches: Bool do
		if opt_no_branches.value then return true
		return ini["loader.no_branches"] == "true"
	end
lib/github/loader.nit:152,2--156,4