A GitLab update will be applied on May 9th, between 8am and 10am, EDT (UTC-04:00). This site may have intermittent delays during that time.
Progress towards implementing #16228. This just cleans up the logic around much of the current working directory manipulation. Some of the commits on top of this branch might want to be moved to the topic which finishes off #16228.