Skip to content

add bash tool formatters - #1014

Merged
LasmarKhalifa merged 1 commit into
mainfrom
06-30/pi-tool-formatter-bash
Aug 5, 2026
Merged

add bash tool formatters#1014
LasmarKhalifa merged 1 commit into
mainfrom
06-30/pi-tool-formatter-bash

Conversation

@LasmarKhalifa

@LasmarKhalifa LasmarKhalifa commented Jun 30, 2026

Copy link
Copy Markdown
Contributor

Closes #1023

LasmarKhalifa commented Jun 30, 2026

Copy link
Copy Markdown
Contributor Author

@LasmarKhalifa
LasmarKhalifa force-pushed the 06-30/pi-tool-formatter-bash branch from a329896 to 0edd3b6 Compare June 30, 2026 21:14
@LasmarKhalifa
LasmarKhalifa force-pushed the 06-30/pi-tool-formatter-foundation branch from 2390b15 to 3f04dcc Compare June 30, 2026 21:14
@LasmarKhalifa
LasmarKhalifa force-pushed the 06-30/pi-tool-formatter-bash branch from 0edd3b6 to d2b7c43 Compare July 2, 2026 15:44
@LasmarKhalifa
LasmarKhalifa force-pushed the 06-30/pi-tool-formatter-bash branch from d2b7c43 to 3ee55e7 Compare July 3, 2026 14:50
@LasmarKhalifa
LasmarKhalifa force-pushed the 06-30/pi-tool-formatter-foundation branch from 3f04dcc to 58fc38b Compare July 3, 2026 14:50
@LasmarKhalifa
LasmarKhalifa marked this pull request as ready for review July 3, 2026 16:30
@LasmarKhalifa
LasmarKhalifa force-pushed the 06-30/pi-tool-formatter-bash branch from 3ee55e7 to 542e96a Compare July 10, 2026 15:23
@LasmarKhalifa
LasmarKhalifa force-pushed the 06-30/pi-tool-formatter-foundation branch from 58fc38b to 040a794 Compare July 10, 2026 15:23
@LasmarKhalifa LasmarKhalifa linked an issue Jul 13, 2026 that may be closed by this pull request
@LasmarKhalifa
LasmarKhalifa force-pushed the 06-30/pi-tool-formatter-foundation branch from 040a794 to 2785081 Compare July 14, 2026 20:37
@LasmarKhalifa
LasmarKhalifa force-pushed the 06-30/pi-tool-formatter-bash branch from 542e96a to 2937e7c Compare July 14, 2026 20:37
@LasmarKhalifa
LasmarKhalifa force-pushed the 06-30/pi-tool-formatter-foundation branch from 2785081 to 7ed4bfb Compare July 30, 2026 14:41
@LasmarKhalifa
LasmarKhalifa force-pushed the 06-30/pi-tool-formatter-bash branch from 2937e7c to 75d9854 Compare July 30, 2026 14:41

LasmarKhalifa commented Aug 5, 2026

Copy link
Copy Markdown
Contributor Author

Merge activity

  • Aug 5, 3:41 PM UTC: A user started a stack merge that includes this pull request via Graphite.
  • Aug 5, 3:43 PM UTC: Graphite rebased this pull request as part of a merge.
  • Aug 5, 3:43 PM UTC: @LasmarKhalifa merged this pull request with Graphite.

@LasmarKhalifa
LasmarKhalifa changed the base branch from 06-30/pi-tool-formatter-foundation to graphite-base/1014 August 5, 2026 15:41
@LasmarKhalifa
LasmarKhalifa changed the base branch from graphite-base/1014 to main August 5, 2026 15:41
@LasmarKhalifa
LasmarKhalifa force-pushed the 06-30/pi-tool-formatter-bash branch from 75d9854 to 82a803a Compare August 5, 2026 15:42
@LasmarKhalifa
LasmarKhalifa merged commit 5cc8c33 into main Aug 5, 2026
3 checks passed
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.

Pi format_bash tool implementation

2 participants