Replace Khan/KaTeX with KaTeX/KaTeX#1781
Replace Khan/KaTeX with KaTeX/KaTeX#1781k4b7 merged 3 commits intoKaTeX:masterfrom ylemkimon:repo-rename
Conversation
Codecov Report
@@ Coverage Diff @@
## master #1781 +/- ##
=======================================
Coverage 93.67% 93.67%
=======================================
Files 80 80
Lines 4666 4666
Branches 813 813
=======================================
Hits 4371 4371
Misses 261 261
Partials 34 34
Continue to review full report at Codecov.
|
k4b7
left a comment
There was a problem hiding this comment.
LGTM. Thanks for removing those unused files. I wish there was a better way to deal with the RawGit issue than storing the logos in the repo. I guess if we move towards a mono-repo set up we'll have all sorts of things in the repo.
| name: Check whether the build is running on the main repository | ||
| command: | | ||
| if [[ $CIRCLE_PULL_REQUEST && $CIRCLE_PROJECT_USERNAME != "Khan" ]]; then | ||
| if [[ $CIRCLE_PULL_REQUEST && $CIRCLE_PROJECT_USERNAME != "KaTeX" ]]; then |
There was a problem hiding this comment.
I couldn't find this string b/c I was searching for locally and my search was scoped to src. 😞
|
@kevinbarabash Could you check Gitter, Greenkeeper, and Netlify and Codecov status notification? |
|
Thanks for the heads up about RawGit! FWIW, https://www.jsdelivr.com/rawgit suggests that we could have replaced the links to use jsDelivr, but this is more future-proof. |
|
I've updated the settings on netlify to use the new repo. I'll check the others later. |
|
For gitter I'm going to email them and see if they can transfer the existing chat room. |
|
gitter has transferred the chat room. |
.arcconfig,.arclint, andlint_blacklist.txt#1686 and fixes Remove check-node-version.js #1718