mirror of
https://github.com/qdm12/ddns-updater.git
synced 2026-07-28 08:32:37 -04:00
[PR #696] [MERGED] Update 'remote containers' references to the new name 'Dev Containers' #801
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/qdm12/ddns-updater/pull/696
Author: @ryankupk
Created: 4/19/2024
Status: ✅ Merged
Merged: 6/15/2024
Merged by: @qdm12
Base:
master← Head:update-readme📝 Commits (1)
dce0261Update 'remote containers' references to the new name 'Dev Containers'📊 Changes
1 file changed (+2 additions, -2 deletions)
View changed files
📝
.github/CONTRIBUTING.md(+2 -2)📄 Description
Very minor update to the documents for contributing to use the new name of the remote containers extension: dev containers
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.