We know this from the name given to the altar that Gideon erected at that place ​ — “Jehovah - shalom. ” That name means “Jehovah Is Peace. ”
מניין לנו? מפני שגדעון קרא למזבח שבנה במקום ההוא ” יהוה שלום ”. ‏