File tree Expand file tree Collapse file tree 2 files changed +7
-0
lines changed Expand file tree Collapse file tree 2 files changed +7
-0
lines changed Original file line number Diff line number Diff line change 7171        " elastic/logstash"  ,
7272        " elastic/logstash-docs"  ,
7373        " elastic/observability-docs"  ,
74+         " elastic/observability-robots-playground"  ,
7475        " elastic/security-docs"  ,
7576        " elastic/stack-docs"  ,
7677        " elastic/tech-content"  ,
Original file line number Diff line number Diff line change @@ -142,6 +142,12 @@ if [[ "${GITHUB_PR_BASE_REPO}" != 'docs' ]]; then
142142      docs_diff=$( git diff --stat " origin/$GITHUB_PR_TARGET_BRANCH "  ...HEAD -- ./docs/en) 
143143      ;;
144144
145+     " observability-robots-playground"  )
146+       git fetch origin " $GITHUB_PR_TARGET_BRANCH " 
147+       echo  " This project is only for testing purposes" 
148+       exit  0
149+       ;;
150+ 
145151    " packagespec"  )
146152      git fetch origin " $GITHUB_PR_TARGET_BRANCH " 
147153      docs_diff=$( git diff --stat " origin/$GITHUB_PR_TARGET_BRANCH "  ...HEAD -- ./versions ./spec) 
    
 
   
 
     
   
   
          
     
  
    
     
 
    
      
     
 
     
    You can’t perform that action at this time.
  
 
    
  
     
    
      
        
     
 
       
      
     
   
 
    
    
  
 
  
 
     
    
0 commit comments