Skip to content
This repository has been archived by the owner on Jul 17, 2024. It is now read-only.

Commit

Permalink
chore: more git commands? (WIP)
Browse files Browse the repository at this point in the history
Signed-off-by: Mateusz Urbanek <mateusz.urbanek.98@gmail.com>
  • Loading branch information
shanduur committed Jun 3, 2024
1 parent c7363be commit 30b3036
Showing 1 changed file with 10 additions and 0 deletions.
10 changes: 10 additions & 0 deletions hack/publish.py
Original file line number Diff line number Diff line change
Expand Up @@ -76,6 +76,16 @@ def is_initial() -> bool:
bool: True if the repository state is initial, False otherwise.
"""
logger.info("fetching gh-pages from origin")
subprocess.run(
["git", "remote", "update"],
stdout=sys.stdout,
stderr=sys.stderr,
)
subprocess.run(
["git", "remote", "-v"],
stdout=sys.stdout,
stderr=sys.stderr,
)
subprocess.run(
["git", "fetch", "origin", "refs/heads/gh-pages"],
stdout=sys.stdout,
Expand Down

0 comments on commit 30b3036

Please sign in to comment.