[PR #560] [CLOSED] Fixes #559 : grep ignore case for HTTP headers #862

New Issue

adam · 2025-12-29T01:29:43+01:00

adam commented

2025-12-29 01:29:43 +01:00

📋 Pull Request Information

Original PR: https://github.com/dehydrated-io/dehydrated/pull/560
Author: @FlorentCoppint
Created: 5/9/2018
Status: ❌ Closed

Base: master ← Head: master

📝 Commits (1)

aed6f4b Fixes #559 : when HTTP/2 is used, header names are lower case. So adding ignore case option (-i) to grep's.

📊 Changes

1 file changed (+3 additions, -3 deletions)

View changed files

📝 dehydrated (+3 -3)

📄 Description

When HTTP/2 is used, header names are lower case.

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/dehydrated-io/dehydrated/pull/560 **Author:** [@FlorentCoppint](https://github.com/FlorentCoppint) **Created:** 5/9/2018 **Status:** ❌ Closed **Base:** `master` ← **Head:** `master` --- ### 📝 Commits (1) - [`aed6f4b`](https://github.com/dehydrated-io/dehydrated/commit/aed6f4ba06858c926042b95f1cef4a7a681ddf88) Fixes #559 : when HTTP/2 is used, header names are lower case. So adding ignore case option (-i) to grep's. ### 📊 Changes **1 file changed** (+3 additions, -3 deletions) <details> <summary>View changed files</summary> 📝 `dehydrated` (+3 -3) </details> ### 📄 Description When HTTP/2 is used, header names are lower case. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

adam added the pull-request label 2025-12-29 01:29:43 +01:00

adam closed this issue

2025-12-29 01:29:43 +01:00

adam referenced this issue

2025-12-29 02:18:40 +01:00

[PR #862] Add BACKOFF config option and --retry-failures option #949

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: starred/dehydrated#862