mirror of
https://github.com/TheAlgorithms/C.git
synced 2026-02-04 05:44:35 +00:00
[PR #917] [MERGED] fix: Update Gitpod extensions #1445
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/TheAlgorithms/C/pull/917
Author: @Panquesito7
Created: 11/6/2021
Status: ✅ Merged
Merged: 11/6/2021
Merged by: @Panquesito7
Base:
master← Head:update_gitpod_extensions📝 Commits (1)
d25ee00fix: Update Gitpod extensions📊 Changes
1 file changed (+3 additions, -1 deletions)
View changed files
📝
.gitpod.yml(+3 -1)📄 Description
Description of Change
References
#915
Checklist
Added tests and example, test must passAdded documentation so that the program is self-explanatory and educational - Doxygen guidelinesRelevant documentation/comments is changed or addedNotes:
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.