Convert docs to new URL (#3002)

This commit is contained in:
Graham Neubig
2024-07-18 13:04:35 -04:00
committed by GitHub
parent cf910dfa9d
commit de74c7a0a1
9 changed files with 14 additions and 15 deletions

View File

@@ -12,7 +12,7 @@ body:
label: Is there an existing issue for the same bug?
description: Please check if an issue already exists for the bug you encountered.
options:
- label: I have checked the troubleshooting document at https://opendevin.github.io/OpenDevin/modules/usage/troubleshooting
- label: I have checked the troubleshooting document at https://docs.all-hands.dev/OpenDevin/modules/usage/troubleshooting
required: true
- label: I have checked the existing issues.
required: true