search

webgme / webgme-taxonomy

A design studio for creating taxonomies which can then be used to tag various resources.
MIT License
0 stars 1 forks source link

Improved ts support #471

Closed brollb closed 9 months ago

brollb commented 9 months ago

For some reason, https://github.com/webgme/webgme-taxonomy/pull/461 is not updating when I push new commits to the branch so I have opened a new PR and pushed the same commits to this branch instead...

brollb commented 9 months ago

Hmm... Now commits aren't showing up here either and actions aren't running for the commits I had already pushed to the other branch. I suspect GH is having some issues...