mirror of
https://github.com/wez/wezterm.git
synced 2024-12-25 14:22:37 +03:00
4cf74e3d77
checkout seems to be failing for ubuntu 20 recently: ``` Deleting the contents of '/__w/wezterm/wezterm' Initializing the repository /usr/bin/git init /__w/wezterm/wezterm Initialized empty Git repository in /__w/wezterm/wezterm/.git/ /usr/bin/git remote add origin https://github.com/wez/wezterm Error: fatal: unsafe repository ('/__w/wezterm/wezterm' is owned by someone else) To add an exception for this directory, call: git config --global --add safe.directory /__w/wezterm/wezterm Error: The process '/usr/bin/git' failed with exit code 128 ``` Try reverting this as a workaround. |
||
---|---|---|
.. | ||
appimage.sh | ||
appstreamcli | ||
build-docs.sh | ||
check-rust-version.sh | ||
create-release.sh | ||
deploy.sh | ||
generate-docs.py | ||
generate-workflows.py | ||
make-color-screen-shots.sh | ||
PKGBUILD.template | ||
retry.sh | ||
source-archive.sh | ||
subst-release-info.py | ||
tag-name.sh | ||
tag.sh | ||
wezterm-homebrew-macos.rb.template | ||
wezterm-linuxbrew.rb.template | ||
windows-installer.iss |