That means the repository installation is done. Wait until you can see a message pops up on the upper-right side saying Add-on installed. If you see failed to install addon from Zip file, check your internet connection, reboot Kodi, and install again. Click on the source we just added to Kodi. Click on the box icon from upper side of the left panel. Go back to the main menu and click Add-ons from the left panel. Enter a name for the added media source in the lower box. Check for typos if you encounter Couldn't retrieve directory information. Copy and paste or type in the source URL exactly in the popup location box, then click OK.
Double click on the Add source bar on the left side. Click cog icon from Kodi home screen, then hit the File manager module from the System menu. At Step 9-10, select the downloaded ZIP file from local storage instead. Before installing any addons/repos you have to go to Kodi home screen > click cog icon > hit System section > click Add-ons tab > Enable Unknown sources to set Kodi to allow installation from unknown sources.