-
Notifications
You must be signed in to change notification settings - Fork 11
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Deploy Branch Status (October / November 2022) #35
Conversation
Here we are in December but we still rely on Tyler's cron job. Maybe 2023? Edit: and diff is too large to review :( |
Comparing to my device_config, the major changes seem to be
lots of devices got moved around so the diff is also unintelligible locally. :( |
That's unfortunate. I'll take a peek locally as well but I suspect everything is fine and this is just to see if there's anyone we need to talk to. |
I'm going to do the merge now in advance of the next push and bring "figure out how to securely set up fine-grained PATs to set up this sync using one of our users" up higher in my to-do list |
*** Not to be merged during October ***
This PR can be used to easily see when cron-based pushes to GitHub happen, and allow us an opportunity to review changes prior to merging into master.
(We still have not addressed #33 and we should before the end of this month)