Shuchang Zheng 555836ee41 update GIT_EMAIL and username for sync bot (#954)

2024-10-10 10:45:16 -07:00

..

workflows

update GIT_EMAIL and username for sync bot (#954)

2024-10-10 10:45:16 -07:00

sync.yml

we don't want to sync precommit (#336)

2024-05-16 20:55:09 -07:00