Closed JaySucharitakul closed 2 years ago
@agursel as we discussed offline, I'll approve and merge this PR first to ensure we can actually build with GitHub actions. Then we'll improve upon it in a subsequent PR. I know it is a little dirty but @JaySucharitakul cannot even test the real thing without this step. Please let me know if you disagree. Thanks!
Also CC @sebady.
No objection. But, the token is probably needed to be deleted before we merge. Shouldn't it?
That's an old encrypted token. We may need to generate a new one anyway. But sure, let's have that deleted. Thanks!
@JaySucharitakul kindly remove the encrypted tokens (even commented out) and push your changes. We need to see that it builds. Then please open another PR for the left-over work.
Thanks for your pull request. Please review the following guidelines.