Commits on May 15, 2019

1. [doc] Change description of skip_if_unavailable option …

   skip_if_unavailable option is now not only a repo option but also option
   of the main config. The commit provides a enhanced description.
   
   Additionally there is a change in default. Formerly it was
   skip_if_unavailable=true, but it was changed to False to provide a
   better security to users. The commit also change the description
   according to new default.

   

   j-mracek committed May 15, 2019
   Configuration menu

   • View commit details
   • Copy full SHA for 2414d82
   • Browse repository at this point

   Copy the full SHA

   2414d82 View commit details

   Browse the repository at this point in the history