2024-09-17 09:01:49 -04:00
|
|
|
syntax = "proto3";
|
|
|
|
|
|
|
|
package devteam;
|
|
|
|
|
2025-01-24 19:24:00 -08:00
|
|
|
option csharp_namespace = "DevTeam";
|
2024-09-17 09:01:49 -04:00
|
|
|
|
|
|
|
message NewAsk {
|
|
|
|
string org = 1;
|
|
|
|
string repo = 2;
|
|
|
|
string ask = 3;
|
|
|
|
int64 issue_number = 4;
|
|
|
|
}
|
|
|
|
|
|
|
|
message ReadmeRequested {
|
2024-09-18 11:57:51 -07:00
|
|
|
string org = 1;
|
|
|
|
string repo = 2;
|
|
|
|
int64 issue_number = 3;
|
|
|
|
string ask = 4;
|
2024-09-17 09:01:49 -04:00
|
|
|
}
|
|
|
|
message ReadmeChainClosed {
|
|
|
|
string ask = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message ReadmeCreated {
|
|
|
|
string readme = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message ReadmeGenerated {
|
|
|
|
string org = 1;
|
|
|
|
string repo = 2;
|
|
|
|
int64 issue_number = 3;
|
|
|
|
string readme = 4;
|
|
|
|
}
|
|
|
|
|
|
|
|
message CodeChainClosed {
|
|
|
|
string user_id = 1;
|
|
|
|
string user_message = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message CodeGenerationRequested {
|
2024-09-18 11:57:51 -07:00
|
|
|
string org = 1;
|
|
|
|
string repo = 2;
|
|
|
|
int64 issue_number = 3;
|
|
|
|
string ask = 4;
|
2024-09-17 09:01:49 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
message DevPlanRequested {
|
2024-09-18 11:57:51 -07:00
|
|
|
string org = 1;
|
|
|
|
string repo = 2;
|
|
|
|
int64 issue_number = 3;
|
|
|
|
string ask = 4;
|
2024-09-17 09:01:49 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
message DevPlanGenerated {
|
|
|
|
string org = 1;
|
|
|
|
string repo = 2;
|
|
|
|
int64 issue_number = 3;
|
|
|
|
string plan = 4;
|
|
|
|
}
|
|
|
|
|
|
|
|
message CodeGenerated {
|
|
|
|
string org = 1;
|
|
|
|
string repo = 2;
|
|
|
|
int64 issue_number = 3;
|
|
|
|
string code = 4;
|
|
|
|
}
|
|
|
|
|
|
|
|
message DevPlanChainClosed {
|
|
|
|
string plan = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message ReadmeStored {
|
|
|
|
string org = 1;
|
|
|
|
string repo = 2;
|
|
|
|
int64 issue_number = 3;
|
|
|
|
int64 parent_number = 4;
|
|
|
|
}
|
|
|
|
|
|
|
|
message SandboxRunFinished {
|
|
|
|
string user_id = 1;
|
|
|
|
string user_message = 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
message CodeCreated {
|
|
|
|
string code = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
message DevPlanCreated {
|
|
|
|
string org = 1;
|
|
|
|
string repo = 2;
|
|
|
|
int64 issue_number = 3;
|
|
|
|
string plan = 4;
|
|
|
|
}
|
|
|
|
|
|
|
|
message SandboxRunCreated {
|
|
|
|
string user_id = 1;
|
|
|
|
string user_message = 2;
|
|
|
|
}
|
|
|
|
|