search

cisagov / dotgov-data

Official list of .gov domains
https://get.gov/about/data/
Creative Commons Zero v1.0 Universal
182 stars 51 forks source link

Add git pull before gov.txt workflow pushes to main #125

Closed erinysong closed 5 months ago

erinysong commented 5 months ago

Adds a git pull before pushing to main on daily gov.txt update workflow. This resolves the error: failed to push some refs error when a user re-runs the workflow after a previous job fails to complete (more information on this blog post). The PR runs git pull to combine data from the previous incomplete job with the currently run job to prevent confusion on GitHub's end.