Sponsored Content
Skip to content

chore: Remove unnecessary script - #6326

Merged
bthomee merged 1 commit into
developfrom
bthomee/include
Feb 4, 2026
Merged

chore: Remove unnecessary script#6326
bthomee merged 1 commit into
developfrom
bthomee/include

Conversation

@bthomee

@bthomee bthomee commented Feb 4, 2026

Copy link
Copy Markdown
Collaborator

High Level Overview of Change

This change removes the script that was used to replace most include guards by #pragma once.

Context of Change

This script did part of the work but not all, and is unnecessary to have in the repo. It had not been intended to merge but was accidentally committed and merged.

Type of Change

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to not work as expected)
  • Refactor (non-breaking change that only restructures code)
  • Performance (increase or change in throughput and/or latency)
  • Tests (you added tests for code that already exists, or your new feature included in this PR)
  • Documentation update
  • Chore (no impact to binary, e.g. .gitignore, formatting, dropping support for older tooling)
  • Release

@bthomee
bthomee requested review from a1q123456 and Copilot February 4, 2026 16:28
@bthomee bthomee added the Trivial Simple change with minimal effect, or already tested. Only needs one approval. label Feb 4, 2026

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Pull request overview

This PR removes a Python script that was accidentally committed and merged, which was used to convert C++ include guards to #pragma once directives. The script has served its purpose and is no longer needed in the repository.

Changes:

  • Deletion of convert_include_guards.py, a utility script that converted include guards to #pragma once

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@bthomee
bthomee merged commit b449a6e into develop Feb 4, 2026
1 check passed
@bthomee
bthomee deleted the bthomee/include branch February 4, 2026 16:30
mvadari pushed a commit to mvadari/rippled that referenced this pull request Feb 4, 2026
mvadari pushed a commit that referenced this pull request Feb 4, 2026
@mvadari mvadari added this to the 3.2.0 milestone May 20, 2026
beartec-jpg pushed a commit to beartec-jpg/FalconLedger that referenced this pull request Jun 1, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Trivial Simple change with minimal effect, or already tested. Only needs one approval.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants