mirror of
https://github.com/johndoe6345789/WizardMerge.git
synced 2026-04-25 22:25:03 +00:00
Compare commits
8 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
| 78505fed80 | |||
|
|
25e53410ac | ||
|
|
c377c5f4aa | ||
|
|
0e2a19c89f | ||
|
|
c5a7f89b3f | ||
|
|
f4848268bd | ||
|
|
c2a5f5dd23 | ||
|
|
8fef2c0e56 |
245
PR_URL_IMPLEMENTATION.md
Normal file
245
PR_URL_IMPLEMENTATION.md
Normal file
@@ -0,0 +1,245 @@
|
|||||||
|
# Pull Request URL Support - Implementation Summary
|
||||||
|
|
||||||
|
## Overview
|
||||||
|
|
||||||
|
This implementation adds the ability for WizardMerge to accept GitHub Pull Request URLs and automatically resolve merge conflicts using the existing three-way merge algorithm with advanced heuristics.
|
||||||
|
|
||||||
|
## Key Features
|
||||||
|
|
||||||
|
### 1. GitHub API Integration
|
||||||
|
- **PR URL Parsing**: Extracts owner, repository, and PR number from GitHub URLs
|
||||||
|
- **Metadata Fetching**: Retrieves PR information including base/head refs and commit SHAs
|
||||||
|
- **File Content Retrieval**: Fetches file versions at specific commits with base64 decoding
|
||||||
|
|
||||||
|
### 2. HTTP API Endpoint
|
||||||
|
- **Endpoint**: `POST /api/pr/resolve`
|
||||||
|
- **Input**: PR URL, optional GitHub token, branch creation flags
|
||||||
|
- **Output**: Detailed resolution results with file-by-file conflict status
|
||||||
|
|
||||||
|
### 3. CLI Integration
|
||||||
|
- **Command**: `pr-resolve --url <pr_url>`
|
||||||
|
- **Environment**: Supports `GITHUB_TOKEN` environment variable
|
||||||
|
- **Options**: `--token`, `--branch`, `--output`
|
||||||
|
|
||||||
|
### 4. Resolution Algorithm
|
||||||
|
For each modified file in the PR:
|
||||||
|
1. Fetch base version (from PR base SHA)
|
||||||
|
2. Fetch head version (from PR head SHA)
|
||||||
|
3. Apply three-way merge algorithm
|
||||||
|
4. Use auto-resolution heuristics:
|
||||||
|
- Non-overlapping changes
|
||||||
|
- Identical changes from both sides
|
||||||
|
- Whitespace-only differences
|
||||||
|
5. Return merged content or conflict markers
|
||||||
|
|
||||||
|
## Architecture
|
||||||
|
|
||||||
|
```
|
||||||
|
GitHub API
|
||||||
|
↓
|
||||||
|
github_client.cpp (C++)
|
||||||
|
↓
|
||||||
|
PRController.cc (Drogon HTTP handler)
|
||||||
|
↓
|
||||||
|
three_way_merge.cpp (Core algorithm)
|
||||||
|
↓
|
||||||
|
JSON Response
|
||||||
|
```
|
||||||
|
|
||||||
|
## Files Changed
|
||||||
|
|
||||||
|
### Backend Core
|
||||||
|
- `backend/include/wizardmerge/git/github_client.h` - GitHub API client interface
|
||||||
|
- `backend/src/git/github_client.cpp` - GitHub API implementation with libcurl
|
||||||
|
- `backend/src/controllers/PRController.h` - PR resolution HTTP controller header
|
||||||
|
- `backend/src/controllers/PRController.cc` - PR resolution controller implementation
|
||||||
|
|
||||||
|
### Build System
|
||||||
|
- `backend/CMakeLists.txt` - Added libcurl dependency, conditional compilation
|
||||||
|
- `backend/conanfile.py` - Added libcurl/8.4.0 to Conan requirements
|
||||||
|
- `backend/build.sh` - Added non-interactive mode support
|
||||||
|
|
||||||
|
### Frontend
|
||||||
|
- `frontends/cli/src/main.cpp` - Added `pr-resolve` command with argument parsing
|
||||||
|
|
||||||
|
### Testing
|
||||||
|
- `backend/tests/test_github_client.cpp` - Unit tests for PR URL parsing
|
||||||
|
|
||||||
|
### Documentation
|
||||||
|
- `README.md` - Added PR resolution examples and API documentation
|
||||||
|
- `backend/README.md` - Detailed API endpoint documentation with curl examples
|
||||||
|
- `backend/examples/pr_resolve_example.py` - Python example script
|
||||||
|
- `spec/WizardMergeSpec.tla` - Updated formal specification with PR workflow
|
||||||
|
|
||||||
|
## Dependencies
|
||||||
|
|
||||||
|
### Required for PR Features
|
||||||
|
- **libcurl**: HTTP client for GitHub API communication
|
||||||
|
- **jsoncpp**: JSON parsing (transitive dependency from Drogon)
|
||||||
|
|
||||||
|
### Optional
|
||||||
|
- **Drogon**: Web framework for HTTP server (required for API endpoint)
|
||||||
|
- **GTest**: Testing framework (required for unit tests)
|
||||||
|
|
||||||
|
All dependencies can be installed via Conan package manager.
|
||||||
|
|
||||||
|
## Build Instructions
|
||||||
|
|
||||||
|
### With Conan (Recommended)
|
||||||
|
```bash
|
||||||
|
cd backend
|
||||||
|
conan install . --output-folder=build --build=missing
|
||||||
|
cd build
|
||||||
|
cmake .. -G Ninja -DCMAKE_TOOLCHAIN_FILE=conan_toolchain.cmake
|
||||||
|
ninja
|
||||||
|
```
|
||||||
|
|
||||||
|
### Without Full Dependencies
|
||||||
|
```bash
|
||||||
|
cd backend
|
||||||
|
WIZARDMERGE_AUTO_BUILD=1 ./build.sh
|
||||||
|
```
|
||||||
|
|
||||||
|
This builds the core library without GitHub API features.
|
||||||
|
|
||||||
|
## Usage Examples
|
||||||
|
|
||||||
|
### CLI Usage
|
||||||
|
```bash
|
||||||
|
# Basic PR resolution
|
||||||
|
./wizardmerge-cli-frontend pr-resolve --url https://github.com/owner/repo/pull/123
|
||||||
|
|
||||||
|
# With GitHub token
|
||||||
|
./wizardmerge-cli-frontend pr-resolve \
|
||||||
|
--url https://github.com/owner/repo/pull/123 \
|
||||||
|
--token ghp_xxx
|
||||||
|
|
||||||
|
# Save to file
|
||||||
|
./wizardmerge-cli-frontend pr-resolve \
|
||||||
|
--url https://github.com/owner/repo/pull/123 \
|
||||||
|
-o result.json
|
||||||
|
```
|
||||||
|
|
||||||
|
### HTTP API Usage
|
||||||
|
```bash
|
||||||
|
curl -X POST http://localhost:8080/api/pr/resolve \
|
||||||
|
-H "Content-Type: application/json" \
|
||||||
|
-d '{
|
||||||
|
"pr_url": "https://github.com/owner/repo/pull/123",
|
||||||
|
"github_token": "optional_token"
|
||||||
|
}'
|
||||||
|
```
|
||||||
|
|
||||||
|
### Python Script
|
||||||
|
```bash
|
||||||
|
python backend/examples/pr_resolve_example.py https://github.com/owner/repo/pull/123
|
||||||
|
```
|
||||||
|
|
||||||
|
## Response Format
|
||||||
|
|
||||||
|
```json
|
||||||
|
{
|
||||||
|
"success": true,
|
||||||
|
"pr_info": {
|
||||||
|
"number": 123,
|
||||||
|
"title": "Feature: Add new functionality",
|
||||||
|
"base_ref": "main",
|
||||||
|
"head_ref": "feature-branch",
|
||||||
|
"base_sha": "abc1234",
|
||||||
|
"head_sha": "def5678",
|
||||||
|
"mergeable": false,
|
||||||
|
"mergeable_state": "dirty"
|
||||||
|
},
|
||||||
|
"resolved_files": [
|
||||||
|
{
|
||||||
|
"filename": "src/example.cpp",
|
||||||
|
"status": "modified",
|
||||||
|
"had_conflicts": true,
|
||||||
|
"auto_resolved": true,
|
||||||
|
"merged_content": ["line1", "line2", "..."]
|
||||||
|
}
|
||||||
|
],
|
||||||
|
"total_files": 5,
|
||||||
|
"resolved_count": 4,
|
||||||
|
"failed_count": 0,
|
||||||
|
"branch_created": false,
|
||||||
|
"note": "Branch creation requires Git CLI integration (not yet implemented)"
|
||||||
|
}
|
||||||
|
```
|
||||||
|
|
||||||
|
## Limitations and Future Work
|
||||||
|
|
||||||
|
### Current Limitations
|
||||||
|
1. **Branch Creation**: Not yet implemented; requires Git CLI integration
|
||||||
|
2. **Merge Base**: Uses simplified merge logic (base vs head) instead of true merge-base commit
|
||||||
|
3. **Large Files**: GitHub API has file size limits (~100MB)
|
||||||
|
4. **Rate Limiting**: GitHub API has rate limits (60/hour unauthenticated, 5000/hour authenticated)
|
||||||
|
|
||||||
|
### Future Enhancements
|
||||||
|
1. **Git Integration**: Clone repo, create branches, push resolved changes
|
||||||
|
2. **Merge Base Detection**: Use `git merge-base` to find true common ancestor
|
||||||
|
3. **Semantic Merging**: Language-aware conflict resolution (JSON, YAML, etc.)
|
||||||
|
4. **Dependency Analysis**: SDG-based conflict detection (from research paper)
|
||||||
|
5. **Interactive Mode**: Present conflicts to user for manual resolution
|
||||||
|
6. **Batch Processing**: Resolve multiple PRs in parallel
|
||||||
|
|
||||||
|
## Testing
|
||||||
|
|
||||||
|
### Unit Tests
|
||||||
|
```bash
|
||||||
|
cd backend/build
|
||||||
|
./wizardmerge-tests --gtest_filter=GitHubClientTest.*
|
||||||
|
```
|
||||||
|
|
||||||
|
Tests cover:
|
||||||
|
- PR URL parsing (valid and invalid formats)
|
||||||
|
- Special characters in owner/repo names
|
||||||
|
- Different URL formats (with/without https, www)
|
||||||
|
|
||||||
|
### Integration Testing
|
||||||
|
Requires:
|
||||||
|
- Running backend server with Drogon + CURL
|
||||||
|
- GitHub API access (public or with token)
|
||||||
|
- Real or mock GitHub repository with PRs
|
||||||
|
|
||||||
|
## Performance Considerations
|
||||||
|
|
||||||
|
- **API Calls**: One call for PR metadata + N calls for file contents (where N = modified files)
|
||||||
|
- **Rate Limits**: Use GitHub tokens to increase limits
|
||||||
|
- **Caching**: File contents could be cached by SHA for repeated resolutions
|
||||||
|
- **Concurrency**: File fetching could be parallelized
|
||||||
|
|
||||||
|
## Security
|
||||||
|
|
||||||
|
- **Token Handling**: Tokens passed via headers, not logged
|
||||||
|
- **Input Validation**: URL parsing validates format before API calls
|
||||||
|
- **Base64 Decoding**: Custom decoder avoids potential vulnerabilities in external libs
|
||||||
|
- **Rate Limiting**: Respects GitHub API limits to avoid abuse
|
||||||
|
|
||||||
|
## Formal Specification
|
||||||
|
|
||||||
|
The TLA+ specification (`spec/WizardMergeSpec.tla`) has been updated to include:
|
||||||
|
- PR resolution workflow model
|
||||||
|
- File processing state machine
|
||||||
|
- Success criteria and invariants
|
||||||
|
- Proof of correctness properties
|
||||||
|
|
||||||
|
## Compliance with Roadmap
|
||||||
|
|
||||||
|
This implementation completes **Phase 1.2** of the roadmap:
|
||||||
|
- ✅ Parse pull request URLs
|
||||||
|
- ✅ Fetch PR data via GitHub API
|
||||||
|
- ✅ Apply merge algorithm to PR files
|
||||||
|
- ✅ HTTP API endpoint
|
||||||
|
- ✅ CLI command
|
||||||
|
- ✅ Documentation
|
||||||
|
- ⏳ Git branch creation (future)
|
||||||
|
|
||||||
|
## Contributing
|
||||||
|
|
||||||
|
To extend this feature:
|
||||||
|
1. Add new merge strategies in `three_way_merge.cpp`
|
||||||
|
2. Enhance GitHub client for additional API endpoints
|
||||||
|
3. Implement Git CLI integration for branch creation
|
||||||
|
4. Add language-specific semantic merging
|
||||||
|
5. Improve error handling and retry logic
|
||||||
69
README.md
69
README.md
@@ -15,7 +15,12 @@ WizardMerge uses a multi-frontend architecture with a high-performance C++ backe
|
|||||||
- **Build System**: CMake + Ninja
|
- **Build System**: CMake + Ninja
|
||||||
- **Package Manager**: Conan
|
- **Package Manager**: Conan
|
||||||
- **Web Framework**: Drogon
|
- **Web Framework**: Drogon
|
||||||
- **Features**: Three-way merge algorithm, conflict detection, auto-resolution, HTTP API
|
- **Features**:
|
||||||
|
- Three-way merge algorithm
|
||||||
|
- Conflict detection and auto-resolution
|
||||||
|
- HTTP API endpoints
|
||||||
|
- GitHub Pull Request integration
|
||||||
|
- Pull request conflict resolution
|
||||||
|
|
||||||
### Frontends
|
### Frontends
|
||||||
|
|
||||||
@@ -96,6 +101,68 @@ ninja
|
|||||||
|
|
||||||
See [frontends/cli/README.md](frontends/cli/README.md) for details.
|
See [frontends/cli/README.md](frontends/cli/README.md) for details.
|
||||||
|
|
||||||
|
## Pull Request / Merge Request Conflict Resolution
|
||||||
|
|
||||||
|
WizardMerge can automatically resolve conflicts in GitHub pull requests and GitLab merge requests using advanced merge algorithms.
|
||||||
|
|
||||||
|
### Supported Platforms
|
||||||
|
|
||||||
|
- **GitHub**: Pull requests via GitHub API
|
||||||
|
- **GitLab**: Merge requests via GitLab API
|
||||||
|
|
||||||
|
### Using the CLI
|
||||||
|
|
||||||
|
```sh
|
||||||
|
# Resolve conflicts in a GitHub pull request
|
||||||
|
./wizardmerge-cli-frontend pr-resolve --url https://github.com/owner/repo/pull/123
|
||||||
|
|
||||||
|
# Resolve conflicts in a GitLab merge request
|
||||||
|
./wizardmerge-cli-frontend pr-resolve --url https://gitlab.com/owner/repo/-/merge_requests/456
|
||||||
|
|
||||||
|
# With API token for private repos
|
||||||
|
./wizardmerge-cli-frontend pr-resolve --url https://github.com/owner/repo/pull/123 --token ghp_xxx
|
||||||
|
./wizardmerge-cli-frontend pr-resolve --url https://gitlab.com/owner/repo/-/merge_requests/456 --token glpat-xxx
|
||||||
|
|
||||||
|
# Or use environment variable
|
||||||
|
export GITHUB_TOKEN=ghp_xxx # For GitHub
|
||||||
|
export GITLAB_TOKEN=glpat-xxx # For GitLab
|
||||||
|
./wizardmerge-cli-frontend pr-resolve --url <pr_or_mr_url>
|
||||||
|
```
|
||||||
|
|
||||||
|
### Using the HTTP API
|
||||||
|
|
||||||
|
```sh
|
||||||
|
# POST /api/pr/resolve - GitHub
|
||||||
|
curl -X POST http://localhost:8080/api/pr/resolve \
|
||||||
|
-H "Content-Type: application/json" \
|
||||||
|
-d '{
|
||||||
|
"pr_url": "https://github.com/owner/repo/pull/123",
|
||||||
|
"api_token": "ghp_xxx"
|
||||||
|
}'
|
||||||
|
|
||||||
|
# POST /api/pr/resolve - GitLab
|
||||||
|
curl -X POST http://localhost:8080/api/pr/resolve \
|
||||||
|
-H "Content-Type: application/json" \
|
||||||
|
-d '{
|
||||||
|
"pr_url": "https://gitlab.com/owner/repo/-/merge_requests/456",
|
||||||
|
"api_token": "glpat-xxx"
|
||||||
|
}'
|
||||||
|
```
|
||||||
|
|
||||||
|
The API will:
|
||||||
|
1. Parse the PR/MR URL and detect the platform (GitHub or GitLab)
|
||||||
|
2. Fetch PR/MR metadata using the platform-specific API
|
||||||
|
3. Retrieve base and head versions of all modified files
|
||||||
|
4. Apply the three-way merge algorithm to each file
|
||||||
|
5. Auto-resolve conflicts using heuristics
|
||||||
|
6. Return merged content with conflict status
|
||||||
|
|
||||||
|
### Authentication
|
||||||
|
|
||||||
|
- **GitHub**: Use personal access tokens with `repo` scope
|
||||||
|
- **GitLab**: Use personal access tokens with `read_api` and `read_repository` scopes
|
||||||
|
- Tokens can be passed via `--token` flag or environment variables (`GITHUB_TOKEN`, `GITLAB_TOKEN`)
|
||||||
|
|
||||||
## Research Foundation
|
## Research Foundation
|
||||||
|
|
||||||
WizardMerge is based on research from The University of Hong Kong achieving:
|
WizardMerge is based on research from The University of Hong Kong achieving:
|
||||||
|
|||||||
@@ -9,24 +9,48 @@ set(CMAKE_CXX_EXTENSIONS OFF)
|
|||||||
# Find dependencies via Conan
|
# Find dependencies via Conan
|
||||||
find_package(Drogon CONFIG QUIET)
|
find_package(Drogon CONFIG QUIET)
|
||||||
find_package(GTest QUIET)
|
find_package(GTest QUIET)
|
||||||
|
find_package(CURL QUIET)
|
||||||
|
|
||||||
# Library sources
|
# Library sources
|
||||||
add_library(wizardmerge
|
set(WIZARDMERGE_SOURCES
|
||||||
src/merge/three_way_merge.cpp
|
src/merge/three_way_merge.cpp
|
||||||
)
|
)
|
||||||
|
|
||||||
|
# Add git sources only if CURL is available
|
||||||
|
if(CURL_FOUND)
|
||||||
|
list(APPEND WIZARDMERGE_SOURCES src/git/git_platform_client.cpp)
|
||||||
|
message(STATUS "CURL found - including Git platform API client (GitHub & GitLab)")
|
||||||
|
else()
|
||||||
|
message(WARNING "CURL not found - Git platform API features will be unavailable")
|
||||||
|
endif()
|
||||||
|
|
||||||
|
add_library(wizardmerge ${WIZARDMERGE_SOURCES})
|
||||||
|
|
||||||
target_include_directories(wizardmerge
|
target_include_directories(wizardmerge
|
||||||
PUBLIC
|
PUBLIC
|
||||||
$<BUILD_INTERFACE:${CMAKE_CURRENT_SOURCE_DIR}/include>
|
$<BUILD_INTERFACE:${CMAKE_CURRENT_SOURCE_DIR}/include>
|
||||||
$<INSTALL_INTERFACE:include>
|
$<INSTALL_INTERFACE:include>
|
||||||
)
|
)
|
||||||
|
|
||||||
|
# Link CURL if available
|
||||||
|
if(CURL_FOUND)
|
||||||
|
target_link_libraries(wizardmerge PUBLIC CURL::libcurl)
|
||||||
|
endif()
|
||||||
|
|
||||||
# Executable (only if Drogon is found)
|
# Executable (only if Drogon is found)
|
||||||
if(Drogon_FOUND)
|
if(Drogon_FOUND)
|
||||||
add_executable(wizardmerge-cli
|
set(CLI_SOURCES
|
||||||
src/main.cpp
|
src/main.cpp
|
||||||
src/controllers/MergeController.cc
|
src/controllers/MergeController.cc
|
||||||
)
|
)
|
||||||
|
|
||||||
|
# Add PR controller only if CURL is available
|
||||||
|
if(CURL_FOUND)
|
||||||
|
list(APPEND CLI_SOURCES src/controllers/PRController.cc)
|
||||||
|
message(STATUS "CURL found - including PR resolution endpoint")
|
||||||
|
endif()
|
||||||
|
|
||||||
|
add_executable(wizardmerge-cli ${CLI_SOURCES})
|
||||||
|
|
||||||
target_link_libraries(wizardmerge-cli PRIVATE wizardmerge Drogon::Drogon)
|
target_link_libraries(wizardmerge-cli PRIVATE wizardmerge Drogon::Drogon)
|
||||||
|
|
||||||
@@ -42,9 +66,15 @@ endif()
|
|||||||
# Tests (if GTest is available)
|
# Tests (if GTest is available)
|
||||||
if(GTest_FOUND)
|
if(GTest_FOUND)
|
||||||
enable_testing()
|
enable_testing()
|
||||||
add_executable(wizardmerge-tests
|
|
||||||
tests/test_three_way_merge.cpp
|
set(TEST_SOURCES tests/test_three_way_merge.cpp)
|
||||||
)
|
|
||||||
|
# Add github client tests only if CURL is available
|
||||||
|
if(CURL_FOUND)
|
||||||
|
list(APPEND TEST_SOURCES tests/test_git_platform_client.cpp)
|
||||||
|
endif()
|
||||||
|
|
||||||
|
add_executable(wizardmerge-tests ${TEST_SOURCES})
|
||||||
target_link_libraries(wizardmerge-tests PRIVATE wizardmerge GTest::gtest_main)
|
target_link_libraries(wizardmerge-tests PRIVATE wizardmerge GTest::gtest_main)
|
||||||
|
|
||||||
include(GoogleTest)
|
include(GoogleTest)
|
||||||
|
|||||||
@@ -124,6 +124,8 @@ backend/
|
|||||||
- Auto-resolution of common patterns
|
- Auto-resolution of common patterns
|
||||||
- HTTP API server using Drogon framework
|
- HTTP API server using Drogon framework
|
||||||
- JSON-based request/response
|
- JSON-based request/response
|
||||||
|
- GitHub Pull Request integration (Phase 1.2)
|
||||||
|
- Pull request conflict resolution via API
|
||||||
|
|
||||||
## API Usage
|
## API Usage
|
||||||
|
|
||||||
@@ -168,6 +170,58 @@ curl -X POST http://localhost:8080/api/merge \
|
|||||||
}'
|
}'
|
||||||
```
|
```
|
||||||
|
|
||||||
|
### POST /api/pr/resolve
|
||||||
|
|
||||||
|
Resolve conflicts in a GitHub pull request.
|
||||||
|
|
||||||
|
**Request:**
|
||||||
|
```json
|
||||||
|
{
|
||||||
|
"pr_url": "https://github.com/owner/repo/pull/123",
|
||||||
|
"github_token": "ghp_xxx",
|
||||||
|
"create_branch": true,
|
||||||
|
"branch_name": "wizardmerge-resolved-pr-123"
|
||||||
|
}
|
||||||
|
```
|
||||||
|
|
||||||
|
**Response:**
|
||||||
|
```json
|
||||||
|
{
|
||||||
|
"success": true,
|
||||||
|
"pr_info": {
|
||||||
|
"number": 123,
|
||||||
|
"title": "Feature: Add new functionality",
|
||||||
|
"base_ref": "main",
|
||||||
|
"head_ref": "feature-branch",
|
||||||
|
"mergeable": false
|
||||||
|
},
|
||||||
|
"resolved_files": [
|
||||||
|
{
|
||||||
|
"filename": "src/example.cpp",
|
||||||
|
"status": "modified",
|
||||||
|
"had_conflicts": true,
|
||||||
|
"auto_resolved": true,
|
||||||
|
"merged_content": ["line1", "line2", "..."]
|
||||||
|
}
|
||||||
|
],
|
||||||
|
"total_files": 5,
|
||||||
|
"resolved_count": 4,
|
||||||
|
"failed_count": 0
|
||||||
|
}
|
||||||
|
```
|
||||||
|
|
||||||
|
**Example with curl:**
|
||||||
|
```sh
|
||||||
|
curl -X POST http://localhost:8080/api/pr/resolve \
|
||||||
|
-H "Content-Type: application/json" \
|
||||||
|
-d '{
|
||||||
|
"pr_url": "https://github.com/owner/repo/pull/123",
|
||||||
|
"github_token": "ghp_xxx"
|
||||||
|
}'
|
||||||
|
```
|
||||||
|
|
||||||
|
**Note:** Requires libcurl to be installed. The GitHub token is optional for public repositories but required for private ones.
|
||||||
|
|
||||||
## Deployment
|
## Deployment
|
||||||
|
|
||||||
### Production Deployment with Docker
|
### Production Deployment with Docker
|
||||||
|
|||||||
@@ -20,10 +20,16 @@ if ! pkg-config --exists drogon 2>/dev/null && ! ldconfig -p 2>/dev/null | grep
|
|||||||
echo " Option 2: Use Docker: docker-compose up --build"
|
echo " Option 2: Use Docker: docker-compose up --build"
|
||||||
echo " Option 3: Use Conan: conan install . --output-folder=build --build=missing"
|
echo " Option 3: Use Conan: conan install . --output-folder=build --build=missing"
|
||||||
echo
|
echo
|
||||||
read -p "Continue building without Drogon? (y/n) " -n 1 -r
|
|
||||||
echo
|
# Skip prompt if in non-interactive mode or CI
|
||||||
if [[ ! $REPLY =~ ^[Yy]$ ]]; then
|
if [[ -n "$CI" ]] || [[ -n "$WIZARDMERGE_AUTO_BUILD" ]] || [[ ! -t 0 ]]; then
|
||||||
exit 1
|
echo "Non-interactive mode detected, continuing without Drogon..."
|
||||||
|
else
|
||||||
|
read -p "Continue building without Drogon? (y/n) " -n 1 -r
|
||||||
|
echo
|
||||||
|
if [[ ! $REPLY =~ ^[Yy]$ ]]; then
|
||||||
|
exit 1
|
||||||
|
fi
|
||||||
fi
|
fi
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
|||||||
@@ -18,7 +18,7 @@ class WizardMergeConan(ConanFile):
|
|||||||
exports_sources = "CMakeLists.txt", "src/*", "include/*"
|
exports_sources = "CMakeLists.txt", "src/*", "include/*"
|
||||||
|
|
||||||
# Dependencies
|
# Dependencies
|
||||||
requires = ["drogon/1.9.3"]
|
requires = ["drogon/1.9.3", "libcurl/8.4.0"]
|
||||||
|
|
||||||
generators = "CMakeDeps", "CMakeToolchain"
|
generators = "CMakeDeps", "CMakeToolchain"
|
||||||
|
|
||||||
|
|||||||
193
backend/examples/pr_resolve_example.py
Executable file
193
backend/examples/pr_resolve_example.py
Executable file
@@ -0,0 +1,193 @@
|
|||||||
|
#!/usr/bin/env python3
|
||||||
|
"""
|
||||||
|
Example: Resolve GitHub Pull Request conflicts using WizardMerge API
|
||||||
|
|
||||||
|
This script demonstrates how to use the WizardMerge API to automatically
|
||||||
|
resolve merge conflicts in a GitHub pull request.
|
||||||
|
|
||||||
|
Usage:
|
||||||
|
python pr_resolve_example.py https://github.com/owner/repo/pull/123
|
||||||
|
|
||||||
|
Environment Variables:
|
||||||
|
GITHUB_TOKEN: Optional GitHub API token for private repos
|
||||||
|
WIZARDMERGE_BACKEND: Backend URL (default: http://localhost:8080)
|
||||||
|
"""
|
||||||
|
|
||||||
|
import sys
|
||||||
|
import os
|
||||||
|
import requests
|
||||||
|
import json
|
||||||
|
from typing import Optional
|
||||||
|
|
||||||
|
|
||||||
|
def resolve_pr(
|
||||||
|
pr_url: str,
|
||||||
|
backend_url: str = "http://localhost:8080",
|
||||||
|
github_token: Optional[str] = None,
|
||||||
|
create_branch: bool = False,
|
||||||
|
branch_name: Optional[str] = None
|
||||||
|
) -> dict:
|
||||||
|
"""
|
||||||
|
Resolve conflicts in a GitHub pull request.
|
||||||
|
|
||||||
|
Args:
|
||||||
|
pr_url: URL of the pull request (e.g., https://github.com/owner/repo/pull/123)
|
||||||
|
backend_url: URL of WizardMerge backend server
|
||||||
|
github_token: Optional GitHub API token
|
||||||
|
create_branch: Whether to create a new branch with resolved conflicts
|
||||||
|
branch_name: Name of the branch to create (optional)
|
||||||
|
|
||||||
|
Returns:
|
||||||
|
dict: API response with resolution results
|
||||||
|
"""
|
||||||
|
endpoint = f"{backend_url}/api/pr/resolve"
|
||||||
|
|
||||||
|
payload = {
|
||||||
|
"pr_url": pr_url,
|
||||||
|
}
|
||||||
|
|
||||||
|
if github_token:
|
||||||
|
payload["github_token"] = github_token
|
||||||
|
|
||||||
|
if create_branch:
|
||||||
|
payload["create_branch"] = True
|
||||||
|
if branch_name:
|
||||||
|
payload["branch_name"] = branch_name
|
||||||
|
|
||||||
|
print(f"Resolving PR: {pr_url}")
|
||||||
|
print(f"Backend: {endpoint}")
|
||||||
|
print()
|
||||||
|
|
||||||
|
try:
|
||||||
|
response = requests.post(endpoint, json=payload, timeout=60)
|
||||||
|
response.raise_for_status()
|
||||||
|
|
||||||
|
result = response.json()
|
||||||
|
return result
|
||||||
|
|
||||||
|
except requests.exceptions.ConnectionError:
|
||||||
|
print(f"ERROR: Could not connect to backend at {backend_url}")
|
||||||
|
print("Make sure the backend server is running:")
|
||||||
|
print(" cd backend && ./wizardmerge-cli")
|
||||||
|
sys.exit(1)
|
||||||
|
except requests.exceptions.HTTPError as e:
|
||||||
|
print(f"ERROR: HTTP {e.response.status_code}")
|
||||||
|
print(e.response.text)
|
||||||
|
sys.exit(1)
|
||||||
|
except requests.exceptions.Timeout:
|
||||||
|
print(f"ERROR: Request timed out after 60 seconds")
|
||||||
|
sys.exit(1)
|
||||||
|
except Exception as e:
|
||||||
|
print(f"ERROR: {e}")
|
||||||
|
sys.exit(1)
|
||||||
|
|
||||||
|
|
||||||
|
def print_results(result: dict):
|
||||||
|
"""Pretty print the resolution results."""
|
||||||
|
print("=" * 70)
|
||||||
|
print("PULL REQUEST RESOLUTION RESULTS")
|
||||||
|
print("=" * 70)
|
||||||
|
print()
|
||||||
|
|
||||||
|
if not result.get("success"):
|
||||||
|
print("❌ Resolution failed")
|
||||||
|
if "error" in result:
|
||||||
|
print(f"Error: {result['error']}")
|
||||||
|
return
|
||||||
|
|
||||||
|
# PR Info
|
||||||
|
pr_info = result.get("pr_info", {})
|
||||||
|
print(f"📋 PR #{pr_info.get('number')}: {pr_info.get('title')}")
|
||||||
|
print(f" Base: {pr_info.get('base_ref')} ({pr_info.get('base_sha', '')[:7]})")
|
||||||
|
print(f" Head: {pr_info.get('head_ref')} ({pr_info.get('head_sha', '')[:7]})")
|
||||||
|
print(f" Mergeable: {pr_info.get('mergeable')}")
|
||||||
|
print()
|
||||||
|
|
||||||
|
# Statistics
|
||||||
|
total = result.get("total_files", 0)
|
||||||
|
resolved = result.get("resolved_count", 0)
|
||||||
|
failed = result.get("failed_count", 0)
|
||||||
|
|
||||||
|
print(f"📊 Statistics:")
|
||||||
|
print(f" Total files: {total}")
|
||||||
|
print(f" ✅ Resolved: {resolved}")
|
||||||
|
print(f" ❌ Failed: {failed}")
|
||||||
|
print(f" Success rate: {(resolved/total*100) if total > 0 else 0:.1f}%")
|
||||||
|
print()
|
||||||
|
|
||||||
|
# File details
|
||||||
|
print("📁 File Resolution Details:")
|
||||||
|
print()
|
||||||
|
|
||||||
|
resolved_files = result.get("resolved_files", [])
|
||||||
|
for file_info in resolved_files:
|
||||||
|
filename = file_info.get("filename", "unknown")
|
||||||
|
status = file_info.get("status", "unknown")
|
||||||
|
|
||||||
|
if file_info.get("skipped"):
|
||||||
|
print(f" ⊘ {filename} (skipped: {file_info.get('reason', 'N/A')})")
|
||||||
|
continue
|
||||||
|
|
||||||
|
if file_info.get("error"):
|
||||||
|
print(f" ❌ {filename} - Error: {file_info.get('error')}")
|
||||||
|
continue
|
||||||
|
|
||||||
|
had_conflicts = file_info.get("had_conflicts", False)
|
||||||
|
auto_resolved = file_info.get("auto_resolved", False)
|
||||||
|
|
||||||
|
if auto_resolved:
|
||||||
|
icon = "✅"
|
||||||
|
msg = "auto-resolved"
|
||||||
|
elif had_conflicts:
|
||||||
|
icon = "⚠️"
|
||||||
|
msg = "has unresolved conflicts"
|
||||||
|
else:
|
||||||
|
icon = "✓"
|
||||||
|
msg = "no conflicts"
|
||||||
|
|
||||||
|
print(f" {icon} {filename} - {msg}")
|
||||||
|
|
||||||
|
print()
|
||||||
|
|
||||||
|
# Branch creation
|
||||||
|
if result.get("branch_created"):
|
||||||
|
branch = result.get("branch_name", "N/A")
|
||||||
|
print(f"🌿 Created branch: {branch}")
|
||||||
|
elif "branch_name" in result:
|
||||||
|
print(f"📝 Note: {result.get('note', 'Branch creation pending')}")
|
||||||
|
|
||||||
|
print()
|
||||||
|
print("=" * 70)
|
||||||
|
|
||||||
|
|
||||||
|
def main():
|
||||||
|
"""Main entry point."""
|
||||||
|
if len(sys.argv) < 2 or sys.argv[1] in ["-h", "--help"]:
|
||||||
|
print(__doc__)
|
||||||
|
sys.exit(0)
|
||||||
|
|
||||||
|
pr_url = sys.argv[1]
|
||||||
|
|
||||||
|
# Get configuration from environment
|
||||||
|
backend_url = os.getenv("WIZARDMERGE_BACKEND", "http://localhost:8080")
|
||||||
|
github_token = os.getenv("GITHUB_TOKEN")
|
||||||
|
|
||||||
|
# Resolve the PR
|
||||||
|
result = resolve_pr(
|
||||||
|
pr_url=pr_url,
|
||||||
|
backend_url=backend_url,
|
||||||
|
github_token=github_token
|
||||||
|
)
|
||||||
|
|
||||||
|
# Print results
|
||||||
|
print_results(result)
|
||||||
|
|
||||||
|
# Exit with appropriate code
|
||||||
|
if result.get("success") and result.get("resolved_count", 0) > 0:
|
||||||
|
sys.exit(0)
|
||||||
|
else:
|
||||||
|
sys.exit(1)
|
||||||
|
|
||||||
|
|
||||||
|
if __name__ == "__main__":
|
||||||
|
main()
|
||||||
118
backend/include/wizardmerge/git/git_platform_client.h
Normal file
118
backend/include/wizardmerge/git/git_platform_client.h
Normal file
@@ -0,0 +1,118 @@
|
|||||||
|
/**
|
||||||
|
* @file git_platform_client.h
|
||||||
|
* @brief Git platform API client for fetching pull/merge request information
|
||||||
|
*
|
||||||
|
* Supports GitHub and GitLab platforms
|
||||||
|
*/
|
||||||
|
|
||||||
|
#ifndef WIZARDMERGE_GIT_PLATFORM_CLIENT_H
|
||||||
|
#define WIZARDMERGE_GIT_PLATFORM_CLIENT_H
|
||||||
|
|
||||||
|
#include <string>
|
||||||
|
#include <vector>
|
||||||
|
#include <map>
|
||||||
|
#include <optional>
|
||||||
|
|
||||||
|
namespace wizardmerge {
|
||||||
|
namespace git {
|
||||||
|
|
||||||
|
/**
|
||||||
|
* @brief Supported git platforms
|
||||||
|
*/
|
||||||
|
enum class GitPlatform {
|
||||||
|
GitHub,
|
||||||
|
GitLab,
|
||||||
|
Unknown
|
||||||
|
};
|
||||||
|
|
||||||
|
/**
|
||||||
|
* @brief Information about a file in a pull/merge request
|
||||||
|
*/
|
||||||
|
struct PRFile {
|
||||||
|
std::string filename;
|
||||||
|
std::string status; // "added", "modified", "removed", "renamed"
|
||||||
|
int additions;
|
||||||
|
int deletions;
|
||||||
|
int changes;
|
||||||
|
};
|
||||||
|
|
||||||
|
/**
|
||||||
|
* @brief Pull/merge request information from GitHub or GitLab
|
||||||
|
*/
|
||||||
|
struct PullRequest {
|
||||||
|
GitPlatform platform;
|
||||||
|
int number;
|
||||||
|
std::string title;
|
||||||
|
std::string state;
|
||||||
|
std::string base_ref; // Base branch name
|
||||||
|
std::string head_ref; // Head branch name
|
||||||
|
std::string base_sha;
|
||||||
|
std::string head_sha;
|
||||||
|
std::string repo_owner;
|
||||||
|
std::string repo_name;
|
||||||
|
std::vector<PRFile> files;
|
||||||
|
bool mergeable;
|
||||||
|
std::string mergeable_state;
|
||||||
|
};
|
||||||
|
|
||||||
|
/**
|
||||||
|
* @brief Parse pull/merge request URL
|
||||||
|
*
|
||||||
|
* Extracts platform, owner, repo, and PR/MR number from URLs like:
|
||||||
|
* - https://github.com/owner/repo/pull/123
|
||||||
|
* - https://gitlab.com/owner/repo/-/merge_requests/456
|
||||||
|
* - github.com/owner/repo/pull/123
|
||||||
|
* - gitlab.com/group/subgroup/project/-/merge_requests/789
|
||||||
|
*
|
||||||
|
* @param url The pull/merge request URL
|
||||||
|
* @param platform Output git platform
|
||||||
|
* @param owner Output repository owner/group
|
||||||
|
* @param repo Output repository name/project
|
||||||
|
* @param pr_number Output PR/MR number
|
||||||
|
* @return true if successfully parsed, false otherwise
|
||||||
|
*/
|
||||||
|
bool parse_pr_url(const std::string& url, GitPlatform& platform,
|
||||||
|
std::string& owner, std::string& repo, int& pr_number);
|
||||||
|
|
||||||
|
/**
|
||||||
|
* @brief Fetch pull/merge request information from GitHub or GitLab API
|
||||||
|
*
|
||||||
|
* @param platform Git platform (GitHub or GitLab)
|
||||||
|
* @param owner Repository owner/group
|
||||||
|
* @param repo Repository name/project
|
||||||
|
* @param pr_number Pull/merge request number
|
||||||
|
* @param token Optional API token for authentication
|
||||||
|
* @return Pull request information, or empty optional on error
|
||||||
|
*/
|
||||||
|
std::optional<PullRequest> fetch_pull_request(
|
||||||
|
GitPlatform platform,
|
||||||
|
const std::string& owner,
|
||||||
|
const std::string& repo,
|
||||||
|
int pr_number,
|
||||||
|
const std::string& token = ""
|
||||||
|
);
|
||||||
|
|
||||||
|
/**
|
||||||
|
* @brief Fetch file content from GitHub or GitLab at a specific commit
|
||||||
|
*
|
||||||
|
* @param platform Git platform (GitHub or GitLab)
|
||||||
|
* @param owner Repository owner/group
|
||||||
|
* @param repo Repository name/project
|
||||||
|
* @param sha Commit SHA
|
||||||
|
* @param path File path
|
||||||
|
* @param token Optional API token
|
||||||
|
* @return File content as vector of lines, or empty optional on error
|
||||||
|
*/
|
||||||
|
std::optional<std::vector<std::string>> fetch_file_content(
|
||||||
|
GitPlatform platform,
|
||||||
|
const std::string& owner,
|
||||||
|
const std::string& repo,
|
||||||
|
const std::string& sha,
|
||||||
|
const std::string& path,
|
||||||
|
const std::string& token = ""
|
||||||
|
);
|
||||||
|
|
||||||
|
} // namespace git
|
||||||
|
} // namespace wizardmerge
|
||||||
|
|
||||||
|
#endif // WIZARDMERGE_GIT_PLATFORM_CLIENT_H
|
||||||
197
backend/src/controllers/PRController.cc
Normal file
197
backend/src/controllers/PRController.cc
Normal file
@@ -0,0 +1,197 @@
|
|||||||
|
/**
|
||||||
|
* @file PRController.cc
|
||||||
|
* @brief Implementation of HTTP controller for pull request operations
|
||||||
|
*/
|
||||||
|
|
||||||
|
#include "PRController.h"
|
||||||
|
#include "wizardmerge/git/git_platform_client.h"
|
||||||
|
#include "wizardmerge/merge/three_way_merge.h"
|
||||||
|
#include <json/json.h>
|
||||||
|
#include <iostream>
|
||||||
|
|
||||||
|
using namespace wizardmerge::controllers;
|
||||||
|
using namespace wizardmerge::git;
|
||||||
|
using namespace wizardmerge::merge;
|
||||||
|
|
||||||
|
void PRController::resolvePR(
|
||||||
|
const HttpRequestPtr &req,
|
||||||
|
std::function<void(const HttpResponsePtr &)> &&callback) {
|
||||||
|
|
||||||
|
// Parse request JSON
|
||||||
|
auto jsonPtr = req->getJsonObject();
|
||||||
|
if (!jsonPtr) {
|
||||||
|
Json::Value error;
|
||||||
|
error["error"] = "Invalid JSON in request body";
|
||||||
|
auto resp = HttpResponse::newHttpJsonResponse(error);
|
||||||
|
resp->setStatusCode(k400BadRequest);
|
||||||
|
callback(resp);
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
|
||||||
|
const auto &json = *jsonPtr;
|
||||||
|
|
||||||
|
// Validate required fields
|
||||||
|
if (!json.isMember("pr_url")) {
|
||||||
|
Json::Value error;
|
||||||
|
error["error"] = "Missing required field: pr_url";
|
||||||
|
auto resp = HttpResponse::newHttpJsonResponse(error);
|
||||||
|
resp->setStatusCode(k400BadRequest);
|
||||||
|
callback(resp);
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
|
||||||
|
std::string pr_url = json["pr_url"].asString();
|
||||||
|
std::string api_token = json.get("api_token", json.get("github_token", "").asString()).asString();
|
||||||
|
bool create_branch = json.get("create_branch", false).asBool();
|
||||||
|
std::string branch_name = json.get("branch_name", "").asString();
|
||||||
|
|
||||||
|
// Parse PR/MR URL
|
||||||
|
GitPlatform platform;
|
||||||
|
std::string owner, repo;
|
||||||
|
int pr_number;
|
||||||
|
|
||||||
|
if (!parse_pr_url(pr_url, platform, owner, repo, pr_number)) {
|
||||||
|
Json::Value error;
|
||||||
|
error["error"] = "Invalid pull/merge request URL format";
|
||||||
|
error["pr_url"] = pr_url;
|
||||||
|
error["note"] = "Supported platforms: GitHub (pull requests) and GitLab (merge requests)";
|
||||||
|
auto resp = HttpResponse::newHttpJsonResponse(error);
|
||||||
|
resp->setStatusCode(k400BadRequest);
|
||||||
|
callback(resp);
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
|
||||||
|
// Fetch pull/merge request information
|
||||||
|
auto pr_opt = fetch_pull_request(platform, owner, repo, pr_number, api_token);
|
||||||
|
|
||||||
|
if (!pr_opt) {
|
||||||
|
Json::Value error;
|
||||||
|
error["error"] = "Failed to fetch pull/merge request information";
|
||||||
|
error["platform"] = (platform == GitPlatform::GitHub) ? "GitHub" : "GitLab";
|
||||||
|
error["owner"] = owner;
|
||||||
|
error["repo"] = repo;
|
||||||
|
error["pr_number"] = pr_number;
|
||||||
|
auto resp = HttpResponse::newHttpJsonResponse(error);
|
||||||
|
resp->setStatusCode(k502BadGateway);
|
||||||
|
callback(resp);
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
|
||||||
|
PullRequest pr = pr_opt.value();
|
||||||
|
|
||||||
|
// Process each file in the PR
|
||||||
|
Json::Value resolved_files_array(Json::arrayValue);
|
||||||
|
int total_files = 0;
|
||||||
|
int resolved_files = 0;
|
||||||
|
int failed_files = 0;
|
||||||
|
|
||||||
|
for (const auto& file : pr.files) {
|
||||||
|
total_files++;
|
||||||
|
|
||||||
|
Json::Value file_result;
|
||||||
|
file_result["filename"] = file.filename;
|
||||||
|
file_result["status"] = file.status;
|
||||||
|
|
||||||
|
// Skip deleted files
|
||||||
|
if (file.status == "removed") {
|
||||||
|
file_result["skipped"] = true;
|
||||||
|
file_result["reason"] = "File was deleted";
|
||||||
|
resolved_files_array.append(file_result);
|
||||||
|
continue;
|
||||||
|
}
|
||||||
|
|
||||||
|
// For modified files, fetch base and head versions
|
||||||
|
if (file.status == "modified" || file.status == "added") {
|
||||||
|
// Fetch base version (empty for added files)
|
||||||
|
std::vector<std::string> base_content;
|
||||||
|
if (file.status == "modified") {
|
||||||
|
auto base_opt = fetch_file_content(platform, owner, repo, pr.base_sha, file.filename, api_token);
|
||||||
|
if (!base_opt) {
|
||||||
|
file_result["error"] = "Failed to fetch base version";
|
||||||
|
file_result["had_conflicts"] = false;
|
||||||
|
failed_files++;
|
||||||
|
resolved_files_array.append(file_result);
|
||||||
|
continue;
|
||||||
|
}
|
||||||
|
base_content = base_opt.value();
|
||||||
|
}
|
||||||
|
|
||||||
|
// Fetch head version
|
||||||
|
auto head_opt = fetch_file_content(platform, owner, repo, pr.head_sha, file.filename, api_token);
|
||||||
|
if (!head_opt) {
|
||||||
|
file_result["error"] = "Failed to fetch head version";
|
||||||
|
file_result["had_conflicts"] = false;
|
||||||
|
failed_files++;
|
||||||
|
resolved_files_array.append(file_result);
|
||||||
|
continue;
|
||||||
|
}
|
||||||
|
std::vector<std::string> head_content = head_opt.value();
|
||||||
|
|
||||||
|
// For added files or when there might be a conflict with existing file
|
||||||
|
// Note: This is a simplified merge for PR review purposes.
|
||||||
|
// In a real merge scenario with conflicts, you'd need the merge-base commit.
|
||||||
|
// Here we're showing what changes if we accept the head version:
|
||||||
|
// - base: common ancestor (PR base)
|
||||||
|
// - ours: current state (PR base)
|
||||||
|
// - theirs: proposed changes (PR head)
|
||||||
|
// This effectively shows all changes from the PR head.
|
||||||
|
|
||||||
|
// Perform three-way merge: base, ours (base), theirs (head)
|
||||||
|
auto merge_result = three_way_merge(base_content, base_content, head_content);
|
||||||
|
merge_result = auto_resolve(merge_result);
|
||||||
|
|
||||||
|
file_result["had_conflicts"] = merge_result.has_conflicts();
|
||||||
|
file_result["auto_resolved"] = !merge_result.has_conflicts();
|
||||||
|
|
||||||
|
// Extract merged content
|
||||||
|
Json::Value merged_content(Json::arrayValue);
|
||||||
|
for (const auto& line : merge_result.merged_lines) {
|
||||||
|
merged_content.append(line.content);
|
||||||
|
}
|
||||||
|
file_result["merged_content"] = merged_content;
|
||||||
|
|
||||||
|
if (!merge_result.has_conflicts()) {
|
||||||
|
resolved_files++;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
resolved_files_array.append(file_result);
|
||||||
|
}
|
||||||
|
|
||||||
|
// Build response
|
||||||
|
Json::Value response;
|
||||||
|
response["success"] = true;
|
||||||
|
|
||||||
|
Json::Value pr_info;
|
||||||
|
pr_info["platform"] = (pr.platform == GitPlatform::GitHub) ? "GitHub" : "GitLab";
|
||||||
|
pr_info["number"] = pr.number;
|
||||||
|
pr_info["title"] = pr.title;
|
||||||
|
pr_info["state"] = pr.state;
|
||||||
|
pr_info["base_ref"] = pr.base_ref;
|
||||||
|
pr_info["head_ref"] = pr.head_ref;
|
||||||
|
pr_info["base_sha"] = pr.base_sha;
|
||||||
|
pr_info["head_sha"] = pr.head_sha;
|
||||||
|
pr_info["mergeable"] = pr.mergeable;
|
||||||
|
pr_info["mergeable_state"] = pr.mergeable_state;
|
||||||
|
response["pr_info"] = pr_info;
|
||||||
|
|
||||||
|
response["resolved_files"] = resolved_files_array;
|
||||||
|
response["total_files"] = total_files;
|
||||||
|
response["resolved_count"] = resolved_files;
|
||||||
|
response["failed_count"] = failed_files;
|
||||||
|
|
||||||
|
// Branch creation would require Git CLI access
|
||||||
|
// For now, just report what would be done
|
||||||
|
response["branch_created"] = false;
|
||||||
|
if (create_branch) {
|
||||||
|
if (branch_name.empty()) {
|
||||||
|
branch_name = "wizardmerge-resolved-pr-" + std::to_string(pr_number);
|
||||||
|
}
|
||||||
|
response["branch_name"] = branch_name;
|
||||||
|
response["note"] = "Branch creation requires Git CLI integration (not yet implemented)";
|
||||||
|
}
|
||||||
|
|
||||||
|
auto resp = HttpResponse::newHttpJsonResponse(response);
|
||||||
|
resp->setStatusCode(k200OK);
|
||||||
|
callback(resp);
|
||||||
|
}
|
||||||
65
backend/src/controllers/PRController.h
Normal file
65
backend/src/controllers/PRController.h
Normal file
@@ -0,0 +1,65 @@
|
|||||||
|
/**
|
||||||
|
* @file PRController.h
|
||||||
|
* @brief HTTP controller for pull request merge operations
|
||||||
|
*/
|
||||||
|
|
||||||
|
#ifndef WIZARDMERGE_CONTROLLERS_PR_CONTROLLER_H
|
||||||
|
#define WIZARDMERGE_CONTROLLERS_PR_CONTROLLER_H
|
||||||
|
|
||||||
|
#include <drogon/HttpController.h>
|
||||||
|
|
||||||
|
using namespace drogon;
|
||||||
|
|
||||||
|
namespace wizardmerge {
|
||||||
|
namespace controllers {
|
||||||
|
|
||||||
|
/**
|
||||||
|
* @brief HTTP controller for pull request merge API
|
||||||
|
*/
|
||||||
|
class PRController : public HttpController<PRController> {
|
||||||
|
public:
|
||||||
|
METHOD_LIST_BEGIN
|
||||||
|
// POST /api/pr/resolve - Resolve conflicts in a pull request
|
||||||
|
ADD_METHOD_TO(PRController::resolvePR, "/api/pr/resolve", Post);
|
||||||
|
METHOD_LIST_END
|
||||||
|
|
||||||
|
/**
|
||||||
|
* @brief Resolve merge conflicts in a pull request
|
||||||
|
*
|
||||||
|
* Request body should be JSON:
|
||||||
|
* {
|
||||||
|
* "pr_url": "https://github.com/owner/repo/pull/123",
|
||||||
|
* "github_token": "optional_github_token",
|
||||||
|
* "create_branch": true,
|
||||||
|
* "branch_name": "wizardmerge-resolved-pr-123"
|
||||||
|
* }
|
||||||
|
*
|
||||||
|
* Response:
|
||||||
|
* {
|
||||||
|
* "success": true,
|
||||||
|
* "pr_info": {
|
||||||
|
* "number": 123,
|
||||||
|
* "title": "...",
|
||||||
|
* "base_ref": "main",
|
||||||
|
* "head_ref": "feature-branch"
|
||||||
|
* },
|
||||||
|
* "resolved_files": [
|
||||||
|
* {
|
||||||
|
* "filename": "...",
|
||||||
|
* "had_conflicts": true,
|
||||||
|
* "auto_resolved": true,
|
||||||
|
* "merged_content": ["line1", "line2", ...]
|
||||||
|
* }
|
||||||
|
* ],
|
||||||
|
* "branch_created": true,
|
||||||
|
* "branch_name": "wizardmerge-resolved-pr-123"
|
||||||
|
* }
|
||||||
|
*/
|
||||||
|
void resolvePR(const HttpRequestPtr &req,
|
||||||
|
std::function<void(const HttpResponsePtr &)> &&callback);
|
||||||
|
};
|
||||||
|
|
||||||
|
} // namespace controllers
|
||||||
|
} // namespace wizardmerge
|
||||||
|
|
||||||
|
#endif // WIZARDMERGE_CONTROLLERS_PR_CONTROLLER_H
|
||||||
417
backend/src/git/git_platform_client.cpp
Normal file
417
backend/src/git/git_platform_client.cpp
Normal file
@@ -0,0 +1,417 @@
|
|||||||
|
/**
|
||||||
|
* @file git_platform_client.cpp
|
||||||
|
* @brief Implementation of git platform API client for GitHub and GitLab
|
||||||
|
*/
|
||||||
|
|
||||||
|
#include "wizardmerge/git/git_platform_client.h"
|
||||||
|
#include <regex>
|
||||||
|
#include <sstream>
|
||||||
|
#include <iostream>
|
||||||
|
#include <algorithm>
|
||||||
|
#include <curl/curl.h>
|
||||||
|
#include <json/json.h>
|
||||||
|
|
||||||
|
namespace wizardmerge {
|
||||||
|
namespace git {
|
||||||
|
|
||||||
|
namespace {
|
||||||
|
|
||||||
|
/**
|
||||||
|
* @brief Simple base64 decoder
|
||||||
|
*/
|
||||||
|
std::string base64_decode(const std::string& encoded) {
|
||||||
|
static const std::string base64_chars =
|
||||||
|
"ABCDEFGHIJKLMNOPQRSTUVWXYZ"
|
||||||
|
"abcdefghijklmnopqrstuvwxyz"
|
||||||
|
"0123456789+/";
|
||||||
|
|
||||||
|
std::string decoded;
|
||||||
|
std::vector<int> T(256, -1);
|
||||||
|
for (int i = 0; i < 64; i++) T[base64_chars[i]] = i;
|
||||||
|
|
||||||
|
int val = 0, valb = -8;
|
||||||
|
for (unsigned char c : encoded) {
|
||||||
|
if (T[c] == -1) break;
|
||||||
|
val = (val << 6) + T[c];
|
||||||
|
valb += 6;
|
||||||
|
if (valb >= 0) {
|
||||||
|
decoded.push_back(char((val >> valb) & 0xFF));
|
||||||
|
valb -= 8;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
return decoded;
|
||||||
|
}
|
||||||
|
|
||||||
|
// Callback for libcurl to write response data
|
||||||
|
size_t WriteCallback(void* contents, size_t size, size_t nmemb, void* userp) {
|
||||||
|
((std::string*)userp)->append((char*)contents, size * nmemb);
|
||||||
|
return size * nmemb;
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* @brief Perform HTTP GET request using libcurl
|
||||||
|
*/
|
||||||
|
bool http_get(const std::string& url, const std::string& token, std::string& response, GitPlatform platform = GitPlatform::GitHub) {
|
||||||
|
CURL* curl = curl_easy_init();
|
||||||
|
if (!curl) {
|
||||||
|
std::cerr << "Failed to initialize CURL" << std::endl;
|
||||||
|
return false;
|
||||||
|
}
|
||||||
|
|
||||||
|
response.clear();
|
||||||
|
|
||||||
|
curl_easy_setopt(curl, CURLOPT_URL, url.c_str());
|
||||||
|
curl_easy_setopt(curl, CURLOPT_WRITEFUNCTION, WriteCallback);
|
||||||
|
curl_easy_setopt(curl, CURLOPT_WRITEDATA, &response);
|
||||||
|
curl_easy_setopt(curl, CURLOPT_USERAGENT, "WizardMerge/1.0");
|
||||||
|
curl_easy_setopt(curl, CURLOPT_FOLLOWLOCATION, 1L);
|
||||||
|
curl_easy_setopt(curl, CURLOPT_TIMEOUT, 30L);
|
||||||
|
|
||||||
|
// Setup headers based on platform
|
||||||
|
struct curl_slist* headers = nullptr;
|
||||||
|
|
||||||
|
if (platform == GitPlatform::GitHub) {
|
||||||
|
headers = curl_slist_append(headers, "Accept: application/vnd.github.v3+json");
|
||||||
|
if (!token.empty()) {
|
||||||
|
std::string auth_header = "Authorization: token " + token;
|
||||||
|
headers = curl_slist_append(headers, auth_header.c_str());
|
||||||
|
}
|
||||||
|
} else if (platform == GitPlatform::GitLab) {
|
||||||
|
headers = curl_slist_append(headers, "Accept: application/json");
|
||||||
|
if (!token.empty()) {
|
||||||
|
std::string auth_header = "PRIVATE-TOKEN: " + token;
|
||||||
|
headers = curl_slist_append(headers, auth_header.c_str());
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
curl_easy_setopt(curl, CURLOPT_HTTPHEADER, headers);
|
||||||
|
|
||||||
|
CURLcode res = curl_easy_perform(curl);
|
||||||
|
|
||||||
|
bool success = (res == CURLE_OK);
|
||||||
|
if (!success) {
|
||||||
|
std::cerr << "CURL error: " << curl_easy_strerror(res) << std::endl;
|
||||||
|
}
|
||||||
|
|
||||||
|
curl_slist_free_all(headers);
|
||||||
|
curl_easy_cleanup(curl);
|
||||||
|
|
||||||
|
return success;
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* @brief Split string by newlines
|
||||||
|
*/
|
||||||
|
std::vector<std::string> split_lines(const std::string& content) {
|
||||||
|
std::vector<std::string> lines;
|
||||||
|
std::istringstream stream(content);
|
||||||
|
std::string line;
|
||||||
|
|
||||||
|
while (std::getline(stream, line)) {
|
||||||
|
lines.push_back(line);
|
||||||
|
}
|
||||||
|
|
||||||
|
return lines;
|
||||||
|
}
|
||||||
|
|
||||||
|
} // anonymous namespace
|
||||||
|
|
||||||
|
bool parse_pr_url(const std::string& url, GitPlatform& platform,
|
||||||
|
std::string& owner, std::string& repo, int& pr_number) {
|
||||||
|
// Try GitHub pattern first:
|
||||||
|
// https://github.com/owner/repo/pull/123
|
||||||
|
// github.com/owner/repo/pull/123
|
||||||
|
|
||||||
|
std::regex github_regex(R"((?:https?://)?(?:www\.)?github\.com/([^/]+)/([^/]+)/pull/(\d+))");
|
||||||
|
std::smatch matches;
|
||||||
|
|
||||||
|
if (std::regex_search(url, matches, github_regex)) {
|
||||||
|
if (matches.size() == 4) {
|
||||||
|
platform = GitPlatform::GitHub;
|
||||||
|
owner = matches[1].str();
|
||||||
|
repo = matches[2].str();
|
||||||
|
pr_number = std::stoi(matches[3].str());
|
||||||
|
return true;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
// Try GitLab pattern:
|
||||||
|
// https://gitlab.com/owner/repo/-/merge_requests/456
|
||||||
|
// gitlab.com/group/subgroup/project/-/merge_requests/789
|
||||||
|
|
||||||
|
std::regex gitlab_regex(R"((?:https?://)?(?:www\.)?gitlab\.com/([^/-]+(?:/[^/-]+)*?)/-/merge_requests/(\d+))");
|
||||||
|
|
||||||
|
if (std::regex_search(url, matches, gitlab_regex)) {
|
||||||
|
if (matches.size() == 3) {
|
||||||
|
platform = GitPlatform::GitLab;
|
||||||
|
std::string full_path = matches[1].str();
|
||||||
|
|
||||||
|
// For GitLab, store the full project path
|
||||||
|
// The path can be: owner/repo or group/subgroup/project
|
||||||
|
// We split at the last slash to separate for potential use
|
||||||
|
size_t last_slash = full_path.find_last_of('/');
|
||||||
|
if (last_slash != std::string::npos) {
|
||||||
|
owner = full_path.substr(0, last_slash);
|
||||||
|
repo = full_path.substr(last_slash + 1);
|
||||||
|
} else {
|
||||||
|
// Single level project (rare but possible)
|
||||||
|
// Store entire path as owner, repo empty
|
||||||
|
// API calls will use full path by concatenating
|
||||||
|
owner = full_path;
|
||||||
|
repo = "";
|
||||||
|
}
|
||||||
|
|
||||||
|
pr_number = std::stoi(matches[2].str());
|
||||||
|
return true;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
platform = GitPlatform::Unknown;
|
||||||
|
return false;
|
||||||
|
}
|
||||||
|
|
||||||
|
std::optional<PullRequest> fetch_pull_request(
|
||||||
|
GitPlatform platform,
|
||||||
|
const std::string& owner,
|
||||||
|
const std::string& repo,
|
||||||
|
int pr_number,
|
||||||
|
const std::string& token
|
||||||
|
) {
|
||||||
|
PullRequest pr;
|
||||||
|
pr.platform = platform;
|
||||||
|
pr.number = pr_number;
|
||||||
|
pr.repo_owner = owner;
|
||||||
|
pr.repo_name = repo;
|
||||||
|
|
||||||
|
std::string pr_url, files_url;
|
||||||
|
|
||||||
|
if (platform == GitPlatform::GitHub) {
|
||||||
|
// GitHub API URLs
|
||||||
|
pr_url = "https://api.github.com/repos/" + owner + "/" + repo + "/pulls/" + std::to_string(pr_number);
|
||||||
|
files_url = "https://api.github.com/repos/" + owner + "/" + repo + "/pulls/" + std::to_string(pr_number) + "/files";
|
||||||
|
} else if (platform == GitPlatform::GitLab) {
|
||||||
|
// GitLab API URLs - encode project path
|
||||||
|
std::string project_path = owner;
|
||||||
|
if (!repo.empty()) {
|
||||||
|
project_path += "/" + repo;
|
||||||
|
}
|
||||||
|
// URL encode the project path
|
||||||
|
CURL* curl = curl_easy_init();
|
||||||
|
char* encoded = curl_easy_escape(curl, project_path.c_str(), project_path.length());
|
||||||
|
std::string encoded_project = encoded;
|
||||||
|
curl_free(encoded);
|
||||||
|
curl_easy_cleanup(curl);
|
||||||
|
|
||||||
|
pr_url = "https://gitlab.com/api/v4/projects/" + encoded_project + "/merge_requests/" + std::to_string(pr_number);
|
||||||
|
files_url = "https://gitlab.com/api/v4/projects/" + encoded_project + "/merge_requests/" + std::to_string(pr_number) + "/changes";
|
||||||
|
} else {
|
||||||
|
std::cerr << "Unknown platform" << std::endl;
|
||||||
|
return std::nullopt;
|
||||||
|
}
|
||||||
|
|
||||||
|
// Fetch PR/MR info
|
||||||
|
std::string response;
|
||||||
|
if (!http_get(pr_url, token, response, platform)) {
|
||||||
|
std::cerr << "Failed to fetch pull/merge request info" << std::endl;
|
||||||
|
return std::nullopt;
|
||||||
|
}
|
||||||
|
|
||||||
|
// Parse JSON response
|
||||||
|
Json::Value root;
|
||||||
|
Json::CharReaderBuilder reader;
|
||||||
|
std::string errs;
|
||||||
|
std::istringstream s(response);
|
||||||
|
|
||||||
|
if (!Json::parseFromStream(reader, s, &root, &errs)) {
|
||||||
|
std::cerr << "Failed to parse PR/MR JSON: " << errs << std::endl;
|
||||||
|
return std::nullopt;
|
||||||
|
}
|
||||||
|
|
||||||
|
pr.title = root.get("title", "").asString();
|
||||||
|
pr.state = root.get("state", "").asString();
|
||||||
|
|
||||||
|
if (platform == GitPlatform::GitHub) {
|
||||||
|
if (root.isMember("base") && root["base"].isObject()) {
|
||||||
|
pr.base_ref = root["base"].get("ref", "").asString();
|
||||||
|
pr.base_sha = root["base"].get("sha", "").asString();
|
||||||
|
}
|
||||||
|
|
||||||
|
if (root.isMember("head") && root["head"].isObject()) {
|
||||||
|
pr.head_ref = root["head"].get("ref", "").asString();
|
||||||
|
pr.head_sha = root["head"].get("sha", "").asString();
|
||||||
|
}
|
||||||
|
|
||||||
|
pr.mergeable = root.get("mergeable", false).asBool();
|
||||||
|
pr.mergeable_state = root.get("mergeable_state", "unknown").asString();
|
||||||
|
} else if (platform == GitPlatform::GitLab) {
|
||||||
|
pr.base_ref = root.get("target_branch", "").asString();
|
||||||
|
pr.head_ref = root.get("source_branch", "").asString();
|
||||||
|
pr.base_sha = root.get("diff_refs", Json::Value::null).get("base_sha", "").asString();
|
||||||
|
pr.head_sha = root.get("diff_refs", Json::Value::null).get("head_sha", "").asString();
|
||||||
|
|
||||||
|
// GitLab uses different merge status
|
||||||
|
std::string merge_status = root.get("merge_status", "").asString();
|
||||||
|
pr.mergeable = (merge_status == "can_be_merged");
|
||||||
|
pr.mergeable_state = merge_status;
|
||||||
|
}
|
||||||
|
|
||||||
|
// Fetch PR/MR files
|
||||||
|
std::string files_response;
|
||||||
|
|
||||||
|
if (!http_get(files_url, token, files_response, platform)) {
|
||||||
|
std::cerr << "Failed to fetch pull/merge request files" << std::endl;
|
||||||
|
return std::nullopt;
|
||||||
|
}
|
||||||
|
|
||||||
|
Json::Value files_root;
|
||||||
|
std::istringstream files_stream(files_response);
|
||||||
|
|
||||||
|
if (!Json::parseFromStream(reader, files_stream, &files_root, &errs)) {
|
||||||
|
std::cerr << "Failed to parse files JSON: " << errs << std::endl;
|
||||||
|
return std::nullopt;
|
||||||
|
}
|
||||||
|
|
||||||
|
// Process files based on platform
|
||||||
|
if (platform == GitPlatform::GitHub && files_root.isArray()) {
|
||||||
|
// GitHub format: array of file objects
|
||||||
|
for (const auto& file : files_root) {
|
||||||
|
PRFile pr_file;
|
||||||
|
pr_file.filename = file.get("filename", "").asString();
|
||||||
|
pr_file.status = file.get("status", "").asString();
|
||||||
|
pr_file.additions = file.get("additions", 0).asInt();
|
||||||
|
pr_file.deletions = file.get("deletions", 0).asInt();
|
||||||
|
pr_file.changes = file.get("changes", 0).asInt();
|
||||||
|
|
||||||
|
pr.files.push_back(pr_file);
|
||||||
|
}
|
||||||
|
} else if (platform == GitPlatform::GitLab && files_root.isMember("changes")) {
|
||||||
|
// GitLab format: object with "changes" array
|
||||||
|
const Json::Value& changes = files_root["changes"];
|
||||||
|
if (changes.isArray()) {
|
||||||
|
for (const auto& file : changes) {
|
||||||
|
PRFile pr_file;
|
||||||
|
pr_file.filename = file.get("new_path", file.get("old_path", "").asString()).asString();
|
||||||
|
|
||||||
|
// Determine status from new_file, deleted_file, renamed_file flags
|
||||||
|
bool new_file = file.get("new_file", false).asBool();
|
||||||
|
bool deleted_file = file.get("deleted_file", false).asBool();
|
||||||
|
bool renamed_file = file.get("renamed_file", false).asBool();
|
||||||
|
|
||||||
|
if (new_file) {
|
||||||
|
pr_file.status = "added";
|
||||||
|
} else if (deleted_file) {
|
||||||
|
pr_file.status = "removed";
|
||||||
|
} else if (renamed_file) {
|
||||||
|
pr_file.status = "renamed";
|
||||||
|
} else {
|
||||||
|
pr_file.status = "modified";
|
||||||
|
}
|
||||||
|
|
||||||
|
// GitLab doesn't provide addition/deletion counts in the changes endpoint
|
||||||
|
pr_file.additions = 0;
|
||||||
|
pr_file.deletions = 0;
|
||||||
|
pr_file.changes = 0;
|
||||||
|
|
||||||
|
pr.files.push_back(pr_file);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
return pr;
|
||||||
|
}
|
||||||
|
|
||||||
|
std::optional<std::vector<std::string>> fetch_file_content(
|
||||||
|
GitPlatform platform,
|
||||||
|
const std::string& owner,
|
||||||
|
const std::string& repo,
|
||||||
|
const std::string& sha,
|
||||||
|
const std::string& path,
|
||||||
|
const std::string& token
|
||||||
|
) {
|
||||||
|
std::string url;
|
||||||
|
|
||||||
|
if (platform == GitPlatform::GitHub) {
|
||||||
|
// GitHub API URL
|
||||||
|
url = "https://api.github.com/repos/" + owner + "/" + repo + "/contents/" + path + "?ref=" + sha;
|
||||||
|
} else if (platform == GitPlatform::GitLab) {
|
||||||
|
// GitLab API URL - encode project path and file path
|
||||||
|
std::string project_path = owner;
|
||||||
|
if (!repo.empty()) {
|
||||||
|
project_path += "/" + repo;
|
||||||
|
}
|
||||||
|
|
||||||
|
CURL* curl = curl_easy_init();
|
||||||
|
char* encoded_project = curl_easy_escape(curl, project_path.c_str(), project_path.length());
|
||||||
|
char* encoded_path = curl_easy_escape(curl, path.c_str(), path.length());
|
||||||
|
|
||||||
|
url = "https://gitlab.com/api/v4/projects/" + std::string(encoded_project) +
|
||||||
|
"/repository/files/" + std::string(encoded_path) + "/raw?ref=" + sha;
|
||||||
|
|
||||||
|
curl_free(encoded_project);
|
||||||
|
curl_free(encoded_path);
|
||||||
|
curl_easy_cleanup(curl);
|
||||||
|
} else {
|
||||||
|
std::cerr << "Unknown platform" << std::endl;
|
||||||
|
return std::nullopt;
|
||||||
|
}
|
||||||
|
|
||||||
|
std::string response;
|
||||||
|
|
||||||
|
if (!http_get(url, token, response, platform)) {
|
||||||
|
std::cerr << "Failed to fetch file content for " << path << " at " << sha << std::endl;
|
||||||
|
return std::nullopt;
|
||||||
|
}
|
||||||
|
|
||||||
|
// Handle response based on platform
|
||||||
|
if (platform == GitPlatform::GitHub) {
|
||||||
|
// GitHub returns JSON with base64-encoded content
|
||||||
|
Json::Value root;
|
||||||
|
Json::CharReaderBuilder reader;
|
||||||
|
std::string errs;
|
||||||
|
std::istringstream s(response);
|
||||||
|
|
||||||
|
if (!Json::parseFromStream(reader, s, &root, &errs)) {
|
||||||
|
std::cerr << "Failed to parse content JSON: " << errs << std::endl;
|
||||||
|
return std::nullopt;
|
||||||
|
}
|
||||||
|
|
||||||
|
// GitHub API returns content as base64 encoded
|
||||||
|
if (!root.isMember("content") || !root.isMember("encoding")) {
|
||||||
|
std::cerr << "Invalid response format for file content" << std::endl;
|
||||||
|
return std::nullopt;
|
||||||
|
}
|
||||||
|
|
||||||
|
std::string encoding = root["encoding"].asString();
|
||||||
|
if (encoding != "base64") {
|
||||||
|
std::cerr << "Unsupported encoding: " << encoding << std::endl;
|
||||||
|
return std::nullopt;
|
||||||
|
}
|
||||||
|
|
||||||
|
// Decode base64 content
|
||||||
|
std::string encoded_content = root["content"].asString();
|
||||||
|
|
||||||
|
// Remove newlines from base64 string
|
||||||
|
encoded_content.erase(std::remove(encoded_content.begin(), encoded_content.end(), '\n'), encoded_content.end());
|
||||||
|
encoded_content.erase(std::remove(encoded_content.begin(), encoded_content.end(), '\r'), encoded_content.end());
|
||||||
|
|
||||||
|
// Decode base64
|
||||||
|
std::string decoded_content = base64_decode(encoded_content);
|
||||||
|
|
||||||
|
if (decoded_content.empty()) {
|
||||||
|
std::cerr << "Failed to decode base64 content" << std::endl;
|
||||||
|
return std::nullopt;
|
||||||
|
}
|
||||||
|
|
||||||
|
// Split content into lines
|
||||||
|
return split_lines(decoded_content);
|
||||||
|
} else if (platform == GitPlatform::GitLab) {
|
||||||
|
// GitLab returns raw file content directly
|
||||||
|
return split_lines(response);
|
||||||
|
}
|
||||||
|
|
||||||
|
return std::nullopt;
|
||||||
|
}
|
||||||
|
|
||||||
|
} // namespace git
|
||||||
|
} // namespace wizardmerge
|
||||||
116
backend/tests/test_git_platform_client.cpp
Normal file
116
backend/tests/test_git_platform_client.cpp
Normal file
@@ -0,0 +1,116 @@
|
|||||||
|
/**
|
||||||
|
* @file test_git_platform_client.cpp
|
||||||
|
* @brief Unit tests for git platform client functionality (GitHub and GitLab)
|
||||||
|
*/
|
||||||
|
|
||||||
|
#include "wizardmerge/git/git_platform_client.h"
|
||||||
|
#include <gtest/gtest.h>
|
||||||
|
|
||||||
|
using namespace wizardmerge::git;
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Test PR URL parsing with various GitHub formats
|
||||||
|
*/
|
||||||
|
TEST(GitPlatformClientTest, ParseGitHubPRUrl_ValidUrls) {
|
||||||
|
GitPlatform platform;
|
||||||
|
std::string owner, repo;
|
||||||
|
int pr_number;
|
||||||
|
|
||||||
|
// Test full HTTPS URL
|
||||||
|
ASSERT_TRUE(parse_pr_url("https://github.com/owner/repo/pull/123", platform, owner, repo, pr_number));
|
||||||
|
EXPECT_EQ(platform, GitPlatform::GitHub);
|
||||||
|
EXPECT_EQ(owner, "owner");
|
||||||
|
EXPECT_EQ(repo, "repo");
|
||||||
|
EXPECT_EQ(pr_number, 123);
|
||||||
|
|
||||||
|
// Test without https://
|
||||||
|
ASSERT_TRUE(parse_pr_url("github.com/user/project/pull/456", platform, owner, repo, pr_number));
|
||||||
|
EXPECT_EQ(platform, GitPlatform::GitHub);
|
||||||
|
EXPECT_EQ(owner, "user");
|
||||||
|
EXPECT_EQ(repo, "project");
|
||||||
|
EXPECT_EQ(pr_number, 456);
|
||||||
|
|
||||||
|
// Test with www
|
||||||
|
ASSERT_TRUE(parse_pr_url("https://www.github.com/testuser/testrepo/pull/789", platform, owner, repo, pr_number));
|
||||||
|
EXPECT_EQ(platform, GitPlatform::GitHub);
|
||||||
|
EXPECT_EQ(owner, "testuser");
|
||||||
|
EXPECT_EQ(repo, "testrepo");
|
||||||
|
EXPECT_EQ(pr_number, 789);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Test GitLab MR URL parsing with various formats
|
||||||
|
*/
|
||||||
|
TEST(GitPlatformClientTest, ParseGitLabMRUrl_ValidUrls) {
|
||||||
|
GitPlatform platform;
|
||||||
|
std::string owner, repo;
|
||||||
|
int pr_number;
|
||||||
|
|
||||||
|
// Test full HTTPS URL
|
||||||
|
ASSERT_TRUE(parse_pr_url("https://gitlab.com/owner/repo/-/merge_requests/123", platform, owner, repo, pr_number));
|
||||||
|
EXPECT_EQ(platform, GitPlatform::GitLab);
|
||||||
|
EXPECT_EQ(owner, "owner");
|
||||||
|
EXPECT_EQ(repo, "repo");
|
||||||
|
EXPECT_EQ(pr_number, 123);
|
||||||
|
|
||||||
|
// Test with group/subgroup/project
|
||||||
|
ASSERT_TRUE(parse_pr_url("https://gitlab.com/group/subgroup/project/-/merge_requests/456", platform, owner, repo, pr_number));
|
||||||
|
EXPECT_EQ(platform, GitPlatform::GitLab);
|
||||||
|
EXPECT_EQ(owner, "group/subgroup");
|
||||||
|
EXPECT_EQ(repo, "project");
|
||||||
|
EXPECT_EQ(pr_number, 456);
|
||||||
|
|
||||||
|
// Test without https://
|
||||||
|
ASSERT_TRUE(parse_pr_url("gitlab.com/mygroup/myproject/-/merge_requests/789", platform, owner, repo, pr_number));
|
||||||
|
EXPECT_EQ(platform, GitPlatform::GitLab);
|
||||||
|
EXPECT_EQ(owner, "mygroup");
|
||||||
|
EXPECT_EQ(repo, "myproject");
|
||||||
|
EXPECT_EQ(pr_number, 789);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Test PR/MR URL parsing with invalid formats
|
||||||
|
*/
|
||||||
|
TEST(GitPlatformClientTest, ParsePRUrl_InvalidUrls) {
|
||||||
|
GitPlatform platform;
|
||||||
|
std::string owner, repo;
|
||||||
|
int pr_number;
|
||||||
|
|
||||||
|
// Missing PR number
|
||||||
|
EXPECT_FALSE(parse_pr_url("https://github.com/owner/repo/pull/", platform, owner, repo, pr_number));
|
||||||
|
|
||||||
|
// Invalid format
|
||||||
|
EXPECT_FALSE(parse_pr_url("https://github.com/owner/repo", platform, owner, repo, pr_number));
|
||||||
|
|
||||||
|
// Not a GitHub or GitLab URL
|
||||||
|
EXPECT_FALSE(parse_pr_url("https://bitbucket.org/owner/repo/pull-requests/123", platform, owner, repo, pr_number));
|
||||||
|
|
||||||
|
// Empty string
|
||||||
|
EXPECT_FALSE(parse_pr_url("", platform, owner, repo, pr_number));
|
||||||
|
|
||||||
|
// Wrong path for GitLab
|
||||||
|
EXPECT_FALSE(parse_pr_url("https://gitlab.com/owner/repo/pull/123", platform, owner, repo, pr_number));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Test PR/MR URL with special characters in owner/repo names
|
||||||
|
*/
|
||||||
|
TEST(GitPlatformClientTest, ParsePRUrl_SpecialCharacters) {
|
||||||
|
GitPlatform platform;
|
||||||
|
std::string owner, repo;
|
||||||
|
int pr_number;
|
||||||
|
|
||||||
|
// GitHub: Underscores and hyphens
|
||||||
|
ASSERT_TRUE(parse_pr_url("https://github.com/my-owner_123/my-repo_456/pull/999", platform, owner, repo, pr_number));
|
||||||
|
EXPECT_EQ(platform, GitPlatform::GitHub);
|
||||||
|
EXPECT_EQ(owner, "my-owner_123");
|
||||||
|
EXPECT_EQ(repo, "my-repo_456");
|
||||||
|
EXPECT_EQ(pr_number, 999);
|
||||||
|
|
||||||
|
// GitLab: Complex group paths
|
||||||
|
ASSERT_TRUE(parse_pr_url("https://gitlab.com/org-name/team-1/my_project/-/merge_requests/100", platform, owner, repo, pr_number));
|
||||||
|
EXPECT_EQ(platform, GitPlatform::GitLab);
|
||||||
|
EXPECT_EQ(owner, "org-name/team-1");
|
||||||
|
EXPECT_EQ(repo, "my_project");
|
||||||
|
EXPECT_EQ(pr_number, 100);
|
||||||
|
}
|
||||||
@@ -1,9 +1,12 @@
|
|||||||
#include "http_client.h"
|
#include "http_client.h"
|
||||||
#include "file_utils.h"
|
#include "file_utils.h"
|
||||||
#include <iostream>
|
#include <iostream>
|
||||||
|
#include <fstream>
|
||||||
|
#include <sstream>
|
||||||
#include <string>
|
#include <string>
|
||||||
#include <cstring>
|
#include <cstring>
|
||||||
#include <cstdlib>
|
#include <cstdlib>
|
||||||
|
#include <curl/curl.h>
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* @brief Print usage information
|
* @brief Print usage information
|
||||||
@@ -12,6 +15,7 @@ void printUsage(const char* programName) {
|
|||||||
std::cout << "WizardMerge CLI Frontend - Intelligent Merge Conflict Resolution\n\n";
|
std::cout << "WizardMerge CLI Frontend - Intelligent Merge Conflict Resolution\n\n";
|
||||||
std::cout << "Usage:\n";
|
std::cout << "Usage:\n";
|
||||||
std::cout << " " << programName << " [OPTIONS] merge --base <file> --ours <file> --theirs <file>\n";
|
std::cout << " " << programName << " [OPTIONS] merge --base <file> --ours <file> --theirs <file>\n";
|
||||||
|
std::cout << " " << programName << " [OPTIONS] pr-resolve --url <pr_url> [--token <token>]\n";
|
||||||
std::cout << " " << programName << " [OPTIONS] git-resolve [FILE]\n";
|
std::cout << " " << programName << " [OPTIONS] git-resolve [FILE]\n";
|
||||||
std::cout << " " << programName << " --help\n";
|
std::cout << " " << programName << " --help\n";
|
||||||
std::cout << " " << programName << " --version\n\n";
|
std::cout << " " << programName << " --version\n\n";
|
||||||
@@ -28,11 +32,18 @@ void printUsage(const char* programName) {
|
|||||||
std::cout << " --theirs <file> Their version file (required)\n";
|
std::cout << " --theirs <file> Their version file (required)\n";
|
||||||
std::cout << " -o, --output <file> Output file (default: stdout)\n";
|
std::cout << " -o, --output <file> Output file (default: stdout)\n";
|
||||||
std::cout << " --format <format> Output format: text, json (default: text)\n\n";
|
std::cout << " --format <format> Output format: text, json (default: text)\n\n";
|
||||||
|
std::cout << " pr-resolve Resolve pull request conflicts\n";
|
||||||
|
std::cout << " --url <url> Pull request URL (required)\n";
|
||||||
|
std::cout << " --token <token> GitHub API token (optional, can use GITHUB_TOKEN env)\n";
|
||||||
|
std::cout << " --branch <name> Create branch with resolved conflicts (optional)\n";
|
||||||
|
std::cout << " -o, --output <dir> Output directory for resolved files (default: stdout)\n\n";
|
||||||
std::cout << " git-resolve Resolve Git merge conflicts (not yet implemented)\n";
|
std::cout << " git-resolve Resolve Git merge conflicts (not yet implemented)\n";
|
||||||
std::cout << " [FILE] Specific file to resolve (optional)\n\n";
|
std::cout << " [FILE] Specific file to resolve (optional)\n\n";
|
||||||
std::cout << "Examples:\n";
|
std::cout << "Examples:\n";
|
||||||
std::cout << " " << programName << " merge --base base.txt --ours ours.txt --theirs theirs.txt\n";
|
std::cout << " " << programName << " merge --base base.txt --ours ours.txt --theirs theirs.txt\n";
|
||||||
std::cout << " " << programName << " merge --base base.txt --ours ours.txt --theirs theirs.txt -o result.txt\n";
|
std::cout << " " << programName << " merge --base base.txt --ours ours.txt --theirs theirs.txt -o result.txt\n";
|
||||||
|
std::cout << " " << programName << " pr-resolve --url https://github.com/owner/repo/pull/123\n";
|
||||||
|
std::cout << " " << programName << " pr-resolve --url https://github.com/owner/repo/pull/123 --token ghp_xxx\n";
|
||||||
std::cout << " " << programName << " --backend http://remote:8080 merge --base b.txt --ours o.txt --theirs t.txt\n\n";
|
std::cout << " " << programName << " --backend http://remote:8080 merge --base b.txt --ours o.txt --theirs t.txt\n\n";
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -55,12 +66,19 @@ int main(int argc, char* argv[]) {
|
|||||||
std::string command;
|
std::string command;
|
||||||
std::string baseFile, oursFile, theirsFile, outputFile;
|
std::string baseFile, oursFile, theirsFile, outputFile;
|
||||||
std::string format = "text";
|
std::string format = "text";
|
||||||
|
std::string prUrl, githubToken, branchName;
|
||||||
|
|
||||||
// Check environment variable
|
// Check environment variable
|
||||||
const char* envBackend = std::getenv("WIZARDMERGE_BACKEND");
|
const char* envBackend = std::getenv("WIZARDMERGE_BACKEND");
|
||||||
if (envBackend) {
|
if (envBackend) {
|
||||||
backendUrl = envBackend;
|
backendUrl = envBackend;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// Check for GitHub token in environment
|
||||||
|
const char* envToken = std::getenv("GITHUB_TOKEN");
|
||||||
|
if (envToken) {
|
||||||
|
githubToken = envToken;
|
||||||
|
}
|
||||||
|
|
||||||
// Parse arguments
|
// Parse arguments
|
||||||
for (int i = 1; i < argc; ++i) {
|
for (int i = 1; i < argc; ++i) {
|
||||||
@@ -85,8 +103,31 @@ int main(int argc, char* argv[]) {
|
|||||||
quiet = true;
|
quiet = true;
|
||||||
} else if (arg == "merge") {
|
} else if (arg == "merge") {
|
||||||
command = "merge";
|
command = "merge";
|
||||||
|
} else if (arg == "pr-resolve") {
|
||||||
|
command = "pr-resolve";
|
||||||
} else if (arg == "git-resolve") {
|
} else if (arg == "git-resolve") {
|
||||||
command = "git-resolve";
|
command = "git-resolve";
|
||||||
|
} else if (arg == "--url") {
|
||||||
|
if (i + 1 < argc) {
|
||||||
|
prUrl = argv[++i];
|
||||||
|
} else {
|
||||||
|
std::cerr << "Error: --url requires an argument\n";
|
||||||
|
return 2;
|
||||||
|
}
|
||||||
|
} else if (arg == "--token") {
|
||||||
|
if (i + 1 < argc) {
|
||||||
|
githubToken = argv[++i];
|
||||||
|
} else {
|
||||||
|
std::cerr << "Error: --token requires an argument\n";
|
||||||
|
return 2;
|
||||||
|
}
|
||||||
|
} else if (arg == "--branch") {
|
||||||
|
if (i + 1 < argc) {
|
||||||
|
branchName = argv[++i];
|
||||||
|
} else {
|
||||||
|
std::cerr << "Error: --branch requires an argument\n";
|
||||||
|
return 2;
|
||||||
|
}
|
||||||
} else if (arg == "--base") {
|
} else if (arg == "--base") {
|
||||||
if (i + 1 < argc) {
|
if (i + 1 < argc) {
|
||||||
baseFile = argv[++i];
|
baseFile = argv[++i];
|
||||||
@@ -231,6 +272,117 @@ int main(int argc, char* argv[]) {
|
|||||||
|
|
||||||
return hasConflicts ? 5 : 0;
|
return hasConflicts ? 5 : 0;
|
||||||
|
|
||||||
|
} else if (command == "pr-resolve") {
|
||||||
|
// Validate required arguments
|
||||||
|
if (prUrl.empty()) {
|
||||||
|
std::cerr << "Error: pr-resolve command requires --url argument\n";
|
||||||
|
return 2;
|
||||||
|
}
|
||||||
|
|
||||||
|
if (verbose) {
|
||||||
|
std::cout << "Backend URL: " << backendUrl << "\n";
|
||||||
|
std::cout << "Pull Request URL: " << prUrl << "\n";
|
||||||
|
if (!githubToken.empty()) {
|
||||||
|
std::cout << "Using GitHub token: " << githubToken.substr(0, 4) << "...\n";
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
// Connect to backend
|
||||||
|
HttpClient client(backendUrl);
|
||||||
|
|
||||||
|
if (!quiet) {
|
||||||
|
std::cout << "Connecting to backend: " << backendUrl << "\n";
|
||||||
|
}
|
||||||
|
|
||||||
|
if (!client.checkBackend()) {
|
||||||
|
std::cerr << "Error: Cannot connect to backend: " << client.getLastError() << "\n";
|
||||||
|
std::cerr << "Make sure the backend server is running on " << backendUrl << "\n";
|
||||||
|
return 3;
|
||||||
|
}
|
||||||
|
|
||||||
|
if (!quiet) {
|
||||||
|
std::cout << "Resolving pull request conflicts...\n";
|
||||||
|
}
|
||||||
|
|
||||||
|
// Build JSON request for PR resolution
|
||||||
|
std::ostringstream json;
|
||||||
|
json << "{";
|
||||||
|
json << "\"pr_url\":\"" << prUrl << "\"";
|
||||||
|
if (!githubToken.empty()) {
|
||||||
|
json << ",\"github_token\":\"" << githubToken << "\"";
|
||||||
|
}
|
||||||
|
if (!branchName.empty()) {
|
||||||
|
json << ",\"create_branch\":true";
|
||||||
|
json << ",\"branch_name\":\"" << branchName << "\"";
|
||||||
|
}
|
||||||
|
json << "}";
|
||||||
|
|
||||||
|
// Perform HTTP POST to /api/pr/resolve
|
||||||
|
std::string response;
|
||||||
|
CURL* curl = curl_easy_init();
|
||||||
|
if (!curl) {
|
||||||
|
std::cerr << "Error: Failed to initialize CURL\n";
|
||||||
|
return 3;
|
||||||
|
}
|
||||||
|
|
||||||
|
std::string url = backendUrl + "/api/pr/resolve";
|
||||||
|
curl_easy_setopt(curl, CURLOPT_URL, url.c_str());
|
||||||
|
curl_easy_setopt(curl, CURLOPT_POSTFIELDS, json.str().c_str());
|
||||||
|
|
||||||
|
auto WriteCallback = [](void* contents, size_t size, size_t nmemb, void* userp) -> size_t {
|
||||||
|
((std::string*)userp)->append((char*)contents, size * nmemb);
|
||||||
|
return size * nmemb;
|
||||||
|
};
|
||||||
|
|
||||||
|
curl_easy_setopt(curl, CURLOPT_WRITEFUNCTION, +WriteCallback);
|
||||||
|
curl_easy_setopt(curl, CURLOPT_WRITEDATA, &response);
|
||||||
|
|
||||||
|
struct curl_slist* headers = nullptr;
|
||||||
|
headers = curl_slist_append(headers, "Content-Type: application/json");
|
||||||
|
curl_easy_setopt(curl, CURLOPT_HTTPHEADER, headers);
|
||||||
|
|
||||||
|
CURLcode res = curl_easy_perform(curl);
|
||||||
|
|
||||||
|
if (res != CURLE_OK) {
|
||||||
|
std::cerr << "Error: Request failed: " << curl_easy_strerror(res) << "\n";
|
||||||
|
curl_slist_free_all(headers);
|
||||||
|
curl_easy_cleanup(curl);
|
||||||
|
return 3;
|
||||||
|
}
|
||||||
|
|
||||||
|
curl_slist_free_all(headers);
|
||||||
|
curl_easy_cleanup(curl);
|
||||||
|
|
||||||
|
// Output response
|
||||||
|
if (outputFile.empty()) {
|
||||||
|
std::cout << "\n=== Pull Request Resolution Result ===\n";
|
||||||
|
std::cout << response << "\n";
|
||||||
|
} else {
|
||||||
|
std::ofstream out(outputFile);
|
||||||
|
if (!out) {
|
||||||
|
std::cerr << "Error: Failed to write output file\n";
|
||||||
|
return 4;
|
||||||
|
}
|
||||||
|
out << response;
|
||||||
|
out.close();
|
||||||
|
if (!quiet) {
|
||||||
|
std::cout << "Result written to: " << outputFile << "\n";
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
// Check if resolution was successful (simple check)
|
||||||
|
if (response.find("\"success\":true") != std::string::npos) {
|
||||||
|
if (!quiet) {
|
||||||
|
std::cout << "\nPull request conflicts resolved successfully!\n";
|
||||||
|
}
|
||||||
|
return 0;
|
||||||
|
} else {
|
||||||
|
if (!quiet) {
|
||||||
|
std::cerr << "\nFailed to resolve some conflicts. See output for details.\n";
|
||||||
|
}
|
||||||
|
return 1;
|
||||||
|
}
|
||||||
|
|
||||||
} else if (command == "git-resolve") {
|
} else if (command == "git-resolve") {
|
||||||
std::cerr << "Error: git-resolve command not yet implemented\n";
|
std::cerr << "Error: git-resolve command not yet implemented\n";
|
||||||
return 1;
|
return 1;
|
||||||
|
|||||||
@@ -15,6 +15,12 @@ EXTENDS Naturals, FiniteSets
|
|||||||
* Identical changes from both sides
|
* Identical changes from both sides
|
||||||
* Whitespace-only differences
|
* Whitespace-only differences
|
||||||
- Command-line interface (wizardmerge-cli)
|
- Command-line interface (wizardmerge-cli)
|
||||||
|
- Pull request/merge request URL processing and conflict resolution:
|
||||||
|
* Parse GitHub PR URLs and GitLab MR URLs
|
||||||
|
* Fetch PR/MR data via GitHub and GitLab APIs
|
||||||
|
* Apply merge algorithm to PR/MR files
|
||||||
|
* HTTP API endpoint for PR/MR resolution
|
||||||
|
* Support for multiple git platforms (GitHub and GitLab)
|
||||||
|
|
||||||
NOT YET IMPLEMENTED (Future phases):
|
NOT YET IMPLEMENTED (Future phases):
|
||||||
- Dependency graph construction (SDG analysis)
|
- Dependency graph construction (SDG analysis)
|
||||||
@@ -22,11 +28,32 @@ EXTENDS Naturals, FiniteSets
|
|||||||
- Edge classification (safe vs. violated)
|
- Edge classification (safe vs. violated)
|
||||||
- Fine-grained DCB (Definition-Code Block) tracking
|
- Fine-grained DCB (Definition-Code Block) tracking
|
||||||
- Mirror mapping and matching
|
- Mirror mapping and matching
|
||||||
|
- Git branch creation for resolved PRs/MRs
|
||||||
|
- Support for additional platforms (Bitbucket, etc.)
|
||||||
|
|
||||||
The current implementation in backend/src/merge/three_way_merge.cpp provides
|
The current implementation in backend/src/merge/three_way_merge.cpp provides
|
||||||
a foundation for the full dependency-aware algorithm specified here. Future
|
a foundation for the full dependency-aware algorithm specified here. Future
|
||||||
phases will enhance it with the SDG analysis, edge classification, and
|
phases will enhance it with the SDG analysis, edge classification, and
|
||||||
dependency-aware conflict resolution described in this specification.
|
dependency-aware conflict resolution described in this specification.
|
||||||
|
|
||||||
|
PR/MR Resolution Workflow (Phase 1.2):
|
||||||
|
The PR/MR resolution feature extends the core merge algorithm to work with
|
||||||
|
both GitHub pull requests and GitLab merge requests. The workflow is:
|
||||||
|
1. Accept PR/MR URL: Parse URL to detect platform and extract owner, repo, and number
|
||||||
|
2. Fetch PR/MR metadata: Use platform-specific API to retrieve information
|
||||||
|
3. Fetch file versions: Retrieve base and head versions of modified files
|
||||||
|
4. Apply merge algorithm: For each file, perform three-way merge
|
||||||
|
5. Auto-resolve conflicts: Apply heuristic resolution where possible
|
||||||
|
6. Return results: Provide merged content and conflict status
|
||||||
|
|
||||||
|
Platform Support:
|
||||||
|
- GitHub: Uses GitHub API v3 with "Authorization: token" header
|
||||||
|
- GitLab: Uses GitLab API v4 with "PRIVATE-TOKEN" header
|
||||||
|
- Both platforms support public and private repositories with proper authentication
|
||||||
|
|
||||||
|
This workflow enables batch processing of PR/MR conflicts using the same
|
||||||
|
dependency-aware merge principles, with future integration planned for
|
||||||
|
automatic branch creation and PR/MR updates.
|
||||||
*)
|
*)
|
||||||
|
|
||||||
(*
|
(*
|
||||||
@@ -316,4 +343,112 @@ Inv ==
|
|||||||
|
|
||||||
THEOREM Spec => []Inv
|
THEOREM Spec => []Inv
|
||||||
|
|
||||||
|
(***************************************************************************)
|
||||||
|
(* Pull Request/Merge Request Resolution Specification (Phase 1.2) *)
|
||||||
|
(***************************************************************************)
|
||||||
|
|
||||||
|
(*
|
||||||
|
This section extends the core merge specification to model the PR/MR resolution
|
||||||
|
workflow. It describes how WizardMerge processes GitHub pull requests and
|
||||||
|
GitLab merge requests to identify and resolve conflicts across multiple files.
|
||||||
|
|
||||||
|
Supported Platforms:
|
||||||
|
- GitHub: Uses "pull request" terminology with "/pull/" URL path
|
||||||
|
- GitLab: Uses "merge request" terminology with "/-/merge_requests/" URL path
|
||||||
|
*)
|
||||||
|
|
||||||
|
CONSTANTS
|
||||||
|
(*
|
||||||
|
GitPlatform: the platform type - GitHub or GitLab
|
||||||
|
*)
|
||||||
|
GitPlatform,
|
||||||
|
|
||||||
|
(*
|
||||||
|
PR_FILES: the set of all files in the pull/merge request
|
||||||
|
*)
|
||||||
|
PR_FILES,
|
||||||
|
|
||||||
|
(*
|
||||||
|
FileStatus: maps each file to its modification status in the PR/MR
|
||||||
|
Possible values: "modified", "added", "removed", "renamed"
|
||||||
|
*)
|
||||||
|
FileStatus,
|
||||||
|
|
||||||
|
(*
|
||||||
|
BaseSHA, HeadSHA: commit identifiers for base and head of the PR/MR
|
||||||
|
*)
|
||||||
|
BaseSHA, HeadSHA
|
||||||
|
|
||||||
|
(*
|
||||||
|
Platform types - GitHub uses pull requests, GitLab uses merge requests
|
||||||
|
*)
|
||||||
|
ASSUME GitPlatform \in {"GitHub", "GitLab"}
|
||||||
|
|
||||||
|
(*
|
||||||
|
A file is resolvable if it was modified (not removed) and we can fetch
|
||||||
|
both its base and head versions.
|
||||||
|
*)
|
||||||
|
Resolvable(f) ==
|
||||||
|
FileStatus[f] \in {"modified", "added"}
|
||||||
|
|
||||||
|
(*
|
||||||
|
PR_MergeResult: for each file f in PR_FILES, we compute a merge result
|
||||||
|
using the three-way merge algorithm. This is a function from PR_FILES
|
||||||
|
to merge outcomes.
|
||||||
|
|
||||||
|
Possible outcomes:
|
||||||
|
- "success": file merged without conflicts
|
||||||
|
- "conflict": file has unresolved conflicts
|
||||||
|
- "error": failed to fetch or process file
|
||||||
|
- "skipped": file was removed or not applicable
|
||||||
|
*)
|
||||||
|
|
||||||
|
VARIABLE PR_MergeResults
|
||||||
|
|
||||||
|
PR_Init ==
|
||||||
|
PR_MergeResults = [f \in PR_FILES |-> "pending"]
|
||||||
|
|
||||||
|
(*
|
||||||
|
Process a single file by applying the three-way merge algorithm.
|
||||||
|
This abstracts the actual merge computation but captures the key decision:
|
||||||
|
whether the file can be auto-resolved or requires manual intervention.
|
||||||
|
*)
|
||||||
|
ProcessFile(f) ==
|
||||||
|
/\ PR_MergeResults[f] = "pending"
|
||||||
|
/\ IF ~Resolvable(f)
|
||||||
|
THEN PR_MergeResults' = [PR_MergeResults EXCEPT ![f] = "skipped"]
|
||||||
|
ELSE \/ PR_MergeResults' = [PR_MergeResults EXCEPT ![f] = "success"]
|
||||||
|
\/ PR_MergeResults' = [PR_MergeResults EXCEPT ![f] = "conflict"]
|
||||||
|
\/ PR_MergeResults' = [PR_MergeResults EXCEPT ![f] = "error"]
|
||||||
|
|
||||||
|
(*
|
||||||
|
PR completion: all files have been processed
|
||||||
|
*)
|
||||||
|
PR_Complete ==
|
||||||
|
\A f \in PR_FILES : PR_MergeResults[f] # "pending"
|
||||||
|
|
||||||
|
(*
|
||||||
|
PR success metric: percentage of files successfully merged
|
||||||
|
*)
|
||||||
|
PR_SuccessRate ==
|
||||||
|
LET successful == {f \in PR_FILES : PR_MergeResults[f] = "success"}
|
||||||
|
IN Cardinality(successful) * 100 \div Cardinality(PR_FILES)
|
||||||
|
|
||||||
|
(*
|
||||||
|
PR resolution quality property: a "good" PR resolution is one where
|
||||||
|
all resolvable files are either successfully merged or marked as conflicts
|
||||||
|
(no errors in fetching or processing).
|
||||||
|
*)
|
||||||
|
GoodPRResolution ==
|
||||||
|
\A f \in PR_FILES :
|
||||||
|
Resolvable(f) => PR_MergeResults[f] \in {"success", "conflict"}
|
||||||
|
|
||||||
|
PR_Spec ==
|
||||||
|
PR_Init /\ [][(\E f \in PR_FILES : ProcessFile(f))]_<<PR_MergeResults>>
|
||||||
|
|
||||||
|
PR_Invariant ==
|
||||||
|
PR_Complete => GoodPRResolution
|
||||||
|
|
||||||
|
THEOREM PR_Spec => []PR_Invariant
|
||||||
|
|
||||||
=============================================================================
|
=============================================================================
|
||||||
|
|||||||
Reference in New Issue
Block a user