Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rc 1.8.12 #262

Merged
merged 6 commits into from
Oct 27, 2023
Merged

Rc 1.8.12 #262

merged 6 commits into from
Oct 27, 2023

Conversation

stsnel
Copy link
Member

@stsnel stsnel commented Oct 27, 2023

No description provided.

lwesterhof and others added 6 commits October 26, 2023 16:08
... when OIDC access token has expired

(backport from Yoda 1.9)
Non-revision searches in the portal sometimes triggered spurious
revision search queries.

This is a backport of several commits for Yoda 1.9:

commit 38e858d
Author: Lazlo Westerhof <[email protected]>
Date:   Wed Oct 25 16:49:25 2023 +0200

    Revisions: fix search initiated from search page

commit 83bce95
Author: Lazlo Westerhof <[email protected]>
Date:   Fri Oct 20 10:54:51 2023 +0200

    Search: trigger revision search when changing search type

commit 558dd65
Author: Lazlo Westerhof <[email protected]>
Date:   Fri Oct 20 10:35:02 2023 +0200

    Search: fix switching between normal search and revision search

commit 82bec38
Author: Lazlo Westerhof <[email protected]>
Date:   Fri Oct 20 09:47:43 2023 +0200

    Search: only search for revisions when revision search is selected

It also includes the revision search part of:

commit 55eb586
Author: Lazlo Westerhof <[email protected]>
Date:   Fri Oct 20 09:33:20 2023 +0200

    Small cleanup.
@stsnel stsnel marked this pull request as ready for review October 27, 2023 12:48
@lwesterhof lwesterhof self-requested a review October 27, 2023 12:50
Copy link
Member

@lwesterhof lwesterhof left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@stsnel stsnel merged commit bddd28e into release-1.8 Oct 27, 2023
15 checks passed
@stsnel stsnel deleted the rc-1.8.12 branch October 27, 2023 13:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants