mathlib3
fix(scripts/deploy_docs.sh): cd before git log
#2264
Merged

fix(scripts/deploy_docs.sh): cd before git log #2264

mergify merged 2 commits into master from bryangingechen-patch-1
bryangingechen
bryangingechen
bryangingechen commented on 2020-03-28
bryangingechen bryangingechen force pushed from 62d6e2d1 to 71a0ac48 5 years ago
bryangingechen bryangingechen force pushed from 71a0ac48 to cd9e6bdd 5 years ago
bryangingechen fix(scripts/deploy_docs.sh): cd before git log
0906a215
bryangingechen Update scripts/deploy_docs.sh
731015d2
bryangingechen bryangingechen force pushed from cd9e6bdd to 731015d2 5 years ago
bryangingechen bryangingechen added awaiting-review
gebner gebner added ready-to-merge
gebner
gebner approved these changes on 2020-03-28
gebner gebner removed awaiting-review
mergify mergify merged 0187cb57 into master 5 years ago
bryangingechen bryangingechen deleted the bryangingechen-patch-1 branch 5 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone