GitHub et le secteur public : un mix prometteur