How to push changes from a remote branch to my local branch?

Question

PHP

Good evening. Please tell me how to merge all changes from the remote branch branch1 into your local master branch .
Thanks in advance.

Answer 1

/^.{10}$/

Answer 2

10 characters or 10 digits, there is a difference in this. Any 10 characters is ^.{10}$ , and 10 non-space characters in a row is ^\S{10}$, ten digits ^\d{10}$ , but in general, if I'm not mistaken, there is a maxlength https:// attribute in input developer.mozilla.org/ru/docs/Web/HTML/Ele...

Answer 3

Good afternoon.
if( !preg_match( "/^(\d{10})$/", $check ) ) {