Method push

extensions/github1s/src/router/index.ts:82–86

(path: string)

	// push the url with current history
	public async push(path: string) {
		await this._barrier.wait();
		const emptyState = { pathname: '', search: '', hash: '' };
		return this._history!.push({ ...emptyState, ...parsePath(encodeURI(path)) });
	}

	// replace the url with current history
	public async replace(path: string) {