Difficulty in seeking proposals in meeting notes about proposals HOT 7 CLOSED

@oyilmaztekin I would love to add search to the meeting notes site, but it will be a non-trivial task to do so. Presently, I search the notes using google, with this syntax: site:tc39.github.io/tc39-notes bigint

from proposals.

Another issue I hit often is that GitHub doesn’t support search in forked repositories.

This makes it impossible to search https://github.com/tc39/tc39-notes because it’s a fork of https://github.com/rwaldron/tc39-notes. Why are there two repositories (and two hosted versions of the notes)?

from proposals.

@oyilmaztekin Hi, thanks for your comments. What do you think about working on meeting note presentation in the draft TC39 website, https://github.com/tc39/beta , rather than this repository? (FWIW, for me, the great work that @leobalter and @rwaldron did on the toc.md and summary.md in notes directories was a huge help in looking at past discussions of proposals.)

from proposals.

@mathiasbynens i think it'd be reasonable to make all of the links in this repo point to the notes source for that very reason; i'm not sure why the source isn't in the tc39 org.

from proposals.

Let me examine the beta website and check what we can do to improve the usability of this meeting notes. It would be a very useful feature but as @rwaldron said it would be a non-trivial task. I hope we can find a server-side or client-side solution for this. Considering the priorities, I can return this issue after #161 and #140 completed. Is that ok @littledan

from proposals.

Sounds good to me (but note, those issues may be more difficult to find consensus on a change, whereas everyone would love search :). Cc @codehag

from proposals.

Now that https://github.com/tc39/notes is in the org, searching should work fine.

I'm going to close this, but if there's anything left that's actionable in this repo I'm happy to reopen it.

from proposals.