[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Progress on merging Eglot?
From: |
Payas Relekar |
Subject: |
Re: Progress on merging Eglot? |
Date: |
Thu, 08 Sep 2022 22:39:57 +0530 |
User-agent: |
mu4e 1.8.9; emacs 29.0.50 |
João Távora <joaotavora@gmail.com> writes:
> On Thu, Sep 8, 2022 at 6:03 PM Payas Relekar <relekarpayas@gmail.com> wrote:
>
>
>> One thing I'm thinking is, is there any possibility of PRs being
>> referred in commit messages? If so, the */issues/num won't work, and
>> */pulls/num will have to be used. That means probably involving curl.
>>
>
> But I think GitHub automatically redirects "issues" -> "pulls"
That's convenient :)
> So if you want to be super clean and heroic, yes do the curl scraping.
> Could be useful that day GitHub is no more and we need the wayback
> machine to read the discussion.
I think I'll stay clear of heroics for v0, perhaps stretch goal later..
> But don't let that block you either.
>
>
>> This looks fun :)
>
>
> Thanks a lot for your help!
Okay, some dumb questions to boot. I see eglot repo has below relevant files:
1. .dir-locals.el
2. Makefile
3. NEWS.md
4. eglot-tests.el
5. eglot.el
>From your description above, I see we only care about #4 and #5, is that
correct? Any of the files omitted here (gifs and .gitignore etc) relevant?
I took a quick skim and there are some commits with `* Makefile', can
these be safely ignored? If we are skipping NEWS.md and .dir-locals.el
files, can we skip commits that are limited to them as well?
Thanks,
Payas
--
- Re: Progress on merging Eglot?, (continued)
- Re: Progress on merging Eglot?, João Távora, 2022/09/08
- Re: Progress on merging Eglot?, Philip Kaludercic, 2022/09/08
- Re: Progress on merging Eglot?, João Távora, 2022/09/08
- Re: Progress on merging Eglot?, Payas Relekar, 2022/09/08
- Re: Progress on merging Eglot?, Philip Kaludercic, 2022/09/08
- Re: Progress on merging Eglot?, João Távora, 2022/09/08
- Re: Progress on merging Eglot?, Payas Relekar, 2022/09/08
- Message not available
- Message not available
- Re: Progress on merging Eglot?, João Távora, 2022/09/08
Re: Progress on merging Eglot?, Payas Relekar, 2022/09/08
- Re: Progress on merging Eglot?, João Távora, 2022/09/08
- Re: Progress on merging Eglot?,
Payas Relekar <=
- Re: Progress on merging Eglot?, João Távora, 2022/09/08
- Re: Progress on merging Eglot?, Payas Relekar, 2022/09/08
- Re: Progress on merging Eglot?, Payas Relekar, 2022/09/18
- Re: Progress on merging Eglot?, Philip Kaludercic, 2022/09/18
- Re: Progress on merging Eglot?, Dmitry Gutov, 2022/09/18
- Re: Progress on merging Eglot?, Philip Kaludercic, 2022/09/18
- Re: Progress on merging Eglot?, Dmitry Gutov, 2022/09/18
- Re: Progress on merging Eglot?, João Távora, 2022/09/18
- Re: Progress on merging Eglot?, João Távora, 2022/09/18
- Re: Progress on merging Eglot?, Philip Kaludercic, 2022/09/18