A pedestrian walks past the GitHub Inc. offices in San Francisco, California, United States on Monday, June 4, 2018.