Spaces:
				
			
			
	
			
			
		Runtime error
		
	
	
	
			
			
	
	
	
	
		
		
		Runtime error
		
	Update app.py
Browse files
    	
        app.py
    CHANGED
    
    | @@ -9,7 +9,7 @@ usernames = {} | |
| 9 |  | 
| 10 | 
             
            filepath = hf_hub_download(repo_id="bigcode/the-stack-username-to-repo", filename="username_to_repo.json.gz", repo_type="dataset", revision="v2.0")
         | 
| 11 | 
             
            with gzip.open(filepath, 'r') as f:
         | 
| 12 | 
            -
                usernames["v2.0 | 
| 13 |  | 
| 14 | 
             
            filepath = hf_hub_download(repo_id="bigcode/the-stack-username-to-repo", filename="username_to_repo.json.gz", repo_type="dataset", revision="v1.2")
         | 
| 15 | 
             
            with gzip.open(filepath, 'r') as f:
         | 
| @@ -82,7 +82,7 @@ with gr.Blocks() as demo: | |
| 82 | 
             
                    _, colum_2, _ = gr.Column(scale=1), gr.Column(scale=6), gr.Column(scale=1)
         | 
| 83 | 
             
                    with colum_2:
         | 
| 84 | 
             
                        gr.Markdown(text)
         | 
| 85 | 
            -
                        version = gr.Dropdown(["v2.0 | 
| 86 | 
             
                        username = gr.Text("", label="Your GitHub username:")
         | 
| 87 | 
             
                        check_button = gr.Button("Check!")
         | 
| 88 |  | 
|  | |
| 9 |  | 
| 10 | 
             
            filepath = hf_hub_download(repo_id="bigcode/the-stack-username-to-repo", filename="username_to_repo.json.gz", repo_type="dataset", revision="v2.0")
         | 
| 11 | 
             
            with gzip.open(filepath, 'r') as f:
         | 
| 12 | 
            +
                usernames["v2.0"] = json.loads(f.read().decode('utf-8'))
         | 
| 13 |  | 
| 14 | 
             
            filepath = hf_hub_download(repo_id="bigcode/the-stack-username-to-repo", filename="username_to_repo.json.gz", repo_type="dataset", revision="v1.2")
         | 
| 15 | 
             
            with gzip.open(filepath, 'r') as f:
         | 
|  | |
| 82 | 
             
                    _, colum_2, _ = gr.Column(scale=1), gr.Column(scale=6), gr.Column(scale=1)
         | 
| 83 | 
             
                    with colum_2:
         | 
| 84 | 
             
                        gr.Markdown(text)
         | 
| 85 | 
            +
                        version = gr.Dropdown(["v2.0", "v1.2", "v1.1", "v1.0"], label="The Stack version:", value="v2.0")
         | 
| 86 | 
             
                        username = gr.Text("", label="Your GitHub username:")
         | 
| 87 | 
             
                        check_button = gr.Button("Check!")
         | 
| 88 |  | 
 
			

