It took me some googling... I had forgotten about that step.
Great news. Thank you!
On Thu, May 19, 2022 at 12:27 PM Tilman Hausherr
wrote:
> Am 19.05.2022 um 18:16 schrieb Tim Allison:
> > Hmmm... what do you see here: https://gitbox.apache.org/boxer/
>
> Thank you, I hadn't known about that.
Am 19.05.2022 um 18:16 schrieb Tim Allison:
Hmmm... what do you see here: https://gitbox.apache.org/boxer/
Thank you, I hadn't known about that. I have now linked my account. The
appearance of
https://github.com/apache/tika/pull/561/
has now changed, cool!
Tilman
On Thu, May 19, 2022
Hmmm... what do you see here: https://gitbox.apache.org/boxer/
On Thu, May 19, 2022 at 11:58 AM Tilman Hausherr
wrote:
> I'm unable to show it now, but I never had a "merge" button. But I
> remember a "Only those with write access to this repository can merge
> pull requests" text, could it be t
I'm unable to show it now, but I never had a "merge" button. But I
remember a "Only those with write access to this repository can merge
pull requests" text, could it be that I need some additional permissions?
Tilman
Am 19.05.2022 um 14:00 schrieb Tim Allison:
I just click the button. Is yo
ocally and
> >> then pushed it.
> >>
> >> So there's still a manual step but somehow the history doesn't show
> this.
> >>
> >> Tilman
> >>
> >>
> >>
> >> --- Original-Nachricht ---
> >&g
a manual step but somehow the history doesn't show this.
Tilman
--- Original-Nachricht ---
Von: Tim Allison
Betreff: Automatic updates?
Datum: 18. Mai 2022, 14:25
An:
@font-face { font-family: telegrotesk-medium_normal; src:
url("file:///android_asset/fonts/telegrotesk_normal.ttf&q
AM Tilman Hausherr
wrote:
> The previous one (not this one) was me, I merged the branch locally and
> then pushed it.
>
> So there's still a manual step but somehow the history doesn't show this.
>
> Tilman
>
>
>
> --- Original-Nachricht ---
> Von: Tim A
The previous one (not this one) was me, I merged the branch locally and
then pushed it.
So there's still a manual step but somehow the history doesn't show this.
Tilman
--- Original-Nachricht ---
Von: Tim Allison
Betreff: Automatic updates?
Datum: 18. Mai 2022, 14:25
An:
All,
It feels like something changed in the last week with our dependabot
integration. We used to get PRs. Now we're getting PRs that are
automatically merged.
I don't think this is a great idea. What do you think?
Best,
Tim
On Wed, May 18, 2022 at 1:55 AM
